Functorial Models for Petri Nets
Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.
This is the latest version of this item.
We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy is not completely satisfactory, because it lacks universality and also functoriality. We introduce the notion of pre-net to recover these aspects, obtaining a fully satisfactory categorical treatment, where the operational semantics of nets yields an adjunction. This allows us to present a uniform logical description of net behaviors under both the collective and the individual token philosophies in terms of theories and theory morphisms in partial membership equational logic. Moreover, since the universal property of adjunctions guarantees that colimit constructions on nets are preserved by our algebraic models, the resulting semantic framework has good compositional properties.
|Keywords:||prenets, petri nets processes, petri nets categorical semantics, partial membership equational logic, rewriting logic|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||25 Oct 2007|
|Last Modified:||15 Aug 2012 03:18|
|Contributors:||Bruni, R. (Author)
Meseguer, J. (Author)
Montanari, U. (Author)
Sassone, V. (Author)
|Further Information:||Google Scholar|
|ISI Citation Count:||9|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Available Versions of this Item
Functorial Semantics for Petri Nets. (deposited 27 Jan 2006)
- Functorial Models for Petri Nets. (deposited 25 Oct 2007) [Currently Displayed]
Actions (login required)