TY - GEN
T1 - On the model of computation of place/transition petri nets
AU - Meseguer, José
AU - Montanari, Ugo
AU - Sassone, Vladimiro
N1 - Publisher Copyright:
© 1994, Springer Verlag. All rights reserved.
PY - 1994
Y1 - 1994
N2 - In the last few years, the sematics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide formal relationships between nets and domains, and via algebraic models, which view Petri nets as essentially algebraic theories whose models are monoidal categories. In this paper we show that these three points of view can be reconciled. More precisely, we introduce the new notion of decorated processes of Petri nets and we show that they induce on nets the same semantics as that of unfolding. In addition, we prove that the decorated processes of a net N can be axiomatized as the arrows of a symmetric monoidal category which, therefore, provides the aforesaid unification.
AB - In the last few years, the sematics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide formal relationships between nets and domains, and via algebraic models, which view Petri nets as essentially algebraic theories whose models are monoidal categories. In this paper we show that these three points of view can be reconciled. More precisely, we introduce the new notion of decorated processes of Petri nets and we show that they induce on nets the same semantics as that of unfolding. In addition, we prove that the decorated processes of a net N can be axiomatized as the arrows of a symmetric monoidal category which, therefore, provides the aforesaid unification.
UR - http://www.scopus.com/inward/record.url?scp=18944365114&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=18944365114&partnerID=8YFLogxK
U2 - 10.1007/3-540-58152-9_3
DO - 10.1007/3-540-58152-9_3
M3 - Conference contribution
AN - SCOPUS:18944365114
SN - 9783540581529
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 16
EP - 38
BT - Application and Theory of Petri Nets 1994 - 15th International Conference, Proceedings
A2 - Valette, Robert
PB - Springer
T2 - 15th International Conference on Application and Theory of Petri Nets, 1994
Y2 - 20 June 1994 through 24 June 1994
ER -