Tarasyuk I. Iteration in discrete time stochastic Petri box calculus // Computer Science. — 2006 . — # 24.  — P. 129-148
Tarasyuk I. Logical characterization of probabilistic τ-bisimulation equivalences // Computer Science. — 2004 . — # 20.  — P. 97-111
Buchholz P. Tarasyuk I. Net and algebraic approaches to probabilistic modeling // Computer Science. — 2001 . — # 15.  — P. 31-64
Subscribe to stochastic Petri nets