TY - JOUR AU - P. Buchholz AU - I. V. Tarasyuk TI - Equivalences for stochastic Petri nets and stochastic process algebras JO - Sibirskij žurnal čistoj i prikladnoj matematiki PY - 2006 SP - 14 EP - 42 VL - 6 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VNGU_2006_6_1_a1/ LA - ru ID - VNGU_2006_6_1_a1 ER -