A comparison of Petri net semantics under the collective token philosophy?

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationAdvances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings
EditorsAtsushi Ohori, Jieh Hsiang
PublisherSpringer-Verlag
Pages225-244
Number of pages20
ISBN (Print)3540653880, 9783540653882
StatePublished - Jan 1 1998
Externally publishedYes
Event4th Asian Computing Science Conference, ASIAN 1998 - Manila, Philippines
Duration: Dec 8 1998Dec 10 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1538
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th Asian Computing Science Conference, ASIAN 1998
CountryPhilippines
CityManila
Period12/8/9812/10/98

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A comparison of Petri net semantics under the collective token philosophy?'. Together they form a unique fingerprint.

  • Cite this

    Bruni, R., Meseguer, J., Montanari, U., & Sassone, V. (1998). A comparison of Petri net semantics under the collective token philosophy? In A. Ohori, & J. Hsiang (Eds.), Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings (pp. 225-244). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1538). Springer-Verlag.