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

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

doi:10.1007/3-540-49366-2_18

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 proceeding › Conference 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 language	English (US)
Title of host publication	Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings
Editors	Jieh Hsiang, Atsushi Ohori
Publisher	Springer-Verlag Berlin Heidelberg
Pages	225-244
Number of pages	20
ISBN (Print)	3540653880, 9783540653882
DOIs	https://doi.org/10.1007/3-540-49366-2_18
State	Published - 1998
Externally published	Yes
Event	4th Asian Computing Science Conference, ASIAN 1998 - Manila, Philippines Duration: Dec 8 1998 → Dec 10 1998

Publication series

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

Other

Other	4th Asian Computing Science Conference, ASIAN 1998
Country	Philippines
City	Manila
Period	12/8/98 → 12/10/98

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-49366-2_18

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 J. Hsiang, & A. Ohori (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 Berlin Heidelberg. https://doi.org/10.1007/3-540-49366-2_18

A comparison of Petri net semantics under the collective token philosophy? / Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro.

Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings. ed. / Jieh Hsiang; Atsushi Ohori. Springer-Verlag Berlin Heidelberg, 1998. p. 225-244 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1538).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bruni, R, Meseguer, J, Montanari, U & Sassone, V 1998, A comparison of Petri net semantics under the collective token philosophy? in J Hsiang & A Ohori (eds), Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1538, Springer-Verlag Berlin Heidelberg, pp. 225-244, 4th Asian Computing Science Conference, ASIAN 1998, Manila, Philippines, 12/8/98. https://doi.org/10.1007/3-540-49366-2_18

Bruni R, Meseguer J, Montanari U, Sassone V. A comparison of Petri net semantics under the collective token philosophy? In Hsiang J, Ohori A, editors, Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings. Springer-Verlag Berlin Heidelberg. 1998. p. 225-244. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-49366-2_18

Bruni, Roberto ; Meseguer, José ; Montanari, Ugo ; Sassone, Vladimiro. / A comparison of Petri net semantics under the collective token philosophy?. Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings. editor / Jieh Hsiang ; Atsushi Ohori. Springer-Verlag Berlin Heidelberg, 1998. pp. 225-244 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e646115837284f7abd635e4e61eb45ba,

title = "A comparison of Petri net semantics under the collective token philosophy?",

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.",

author = "Roberto Bruni and Jos{\'e} Meseguer and Ugo Montanari and Vladimiro Sassone",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 4th Asian Computing Science Conference, ASIAN 1998 ; Conference date: 08-12-1998 Through 10-12-1998",

year = "1998",

doi = "10.1007/3-540-49366-2_18",

language = "English (US)",

isbn = "3540653880",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "225--244",

editor = "Jieh Hsiang and Atsushi Ohori",

booktitle = "Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings",