TY - GEN
T1 - A comparison of Petri net semantics under the collective token philosophy?
AU - Bruni, Roberto
AU - Meseguer, José
AU - Montanari, Ugo
AU - Sassone, Vladimiro
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1998.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 1998
Y1 - 1998
N2 - In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent transition systems, and (strictly) symmetric (strict) monoidal categories. We use the notion of adjunction to express each connection. We also present a purely logical description of the collective token interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic.
AB - In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent transition systems, and (strictly) symmetric (strict) monoidal categories. We use the notion of adjunction to express each connection. We also present a purely logical description of the collective token interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic.
UR - http://www.scopus.com/inward/record.url?scp=84947914358&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84947914358&partnerID=8YFLogxK
U2 - 10.1007/3-540-49366-2_18
DO - 10.1007/3-540-49366-2_18
M3 - Conference contribution
AN - SCOPUS:84947914358
SN - 3540653880
SN - 9783540653882
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 225
EP - 244
BT - Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings
A2 - Hsiang, Jieh
A2 - Ohori, Atsushi
PB - Springer
T2 - 4th Asian Computing Science Conference, ASIAN 1998
Y2 - 8 December 1998 through 10 December 1998
ER -