For the most recent entries see the Petri Nets Newsletter.

A Comparison of Petri Net Semantics under the Collective Token Philosophy.

Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.

In: Lecture Notes in Computer Science, Vol. 1538: Proceedings of ASIAN'98, 4th Asian Computing Science Conference, pages 225-244. Springer-Verlag, 1998.

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.

Keywords: Petri Nets, Transition Systems, Monoidal Categories.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography