Geodesic
Equivalences for stochastic Petri nets and stochastic process algebras
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 1, pp. 14-42

Voir la notice de l'article provenant de la source Math-Net.Ru

A new class of stochastic Petri nets (SPNs) is proposed that is a modification of discrete time SPNs (DTSPNs) by transition labeling. The class is called labeled DTSPNs (LDT- SPNs). The observable behavior of a LDTSPN is described by labeling of transitions with actions that represent elementary activities. The dynamic behavior of LDTSPNs is defined, and the corresponding discrete time Markov chain (DTMC) is constructed. Behavioural equivalences of LDTSPNs are introduced as variants of well-known trace and bisimulation relations. Interrelations of all the mentioned equivalence relations are investigated. A logical characterization of the equivalences is presented via formulas of probabilistic modal logics. It is demonstrated how the equivalences can be used to compare stationary behavior of LDT-SPNs. A stochastic process algebra is proposed with formulas specifying a special subclass of LDTSPNs. 
@article{VNGU_2006_6_1_a1,
     author = {P. Buchholz and I. V. Tarasyuk},
     title = {Equivalences for stochastic {Petri} nets and stochastic process algebras},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {14--42},
     publisher = {mathdoc},
     volume = {6},
     number = {1},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2006_6_1_a1/}
}
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  - 
%0 Journal Article
%A P. Buchholz
%A I. V. Tarasyuk
%T Equivalences for stochastic Petri nets and stochastic process algebras
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2006
%P 14-42
%V 6
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2006_6_1_a1/
%G ru
%F VNGU_2006_6_1_a1
P. Buchholz; I. V. Tarasyuk. Equivalences for stochastic Petri nets and stochastic process algebras. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 1, pp. 14-42. http://geodesic.mathdoc.fr/item/VNGU_2006_6_1_a1/