A Comparison of Petri Net Semantics under the Collective Token Philosophy

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Abstract


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.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v5i17.19423
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the State and University Library and Aarhus University Library