The Individual and Collective Token Interpretations of Petri Nets

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

Abstract / Description of output

Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I propose a new firing rule that embodies the latter. Also variants of both firing rules for the self-sequential interpretation of nets are studied. Using these rules, I express the four computational interpretations of Petri nets by semantic mappings from nets to labelled step transition systems, the latter being event-oriented representations of higher dimensional automata. This paper totally orders the expressive power of the four interpretations, measured in terms of the classes of labelled step transition systems up to isomorphism of reachable parts that can be denoted by nets under each of the interpretations. Furthermore, I extend the unfolding construction of place/transition nets into occurrence net to nets that may have transitions without incoming arcs.
Original languageEnglish
Title of host publicationCONCUR 2005 -- Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
EditorsMartín Abadi, Luca de Alfaro
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages323-337
Number of pages15
ISBN (Electronic)978-3-540-31934-4
ISBN (Print)978-3-540-28309-6
DOIs
Publication statusPublished - 26 Aug 2005
EventThe 16th International Conference on Concurrency Theory, 2005
- San Francisco, United States
Duration: 23 Aug 200526 Aug 2005
Conference number: 16

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin, Heidelberg
Volume3653
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceThe 16th International Conference on Concurrency Theory, 2005
Abbreviated titleCONCUR 2005
Country/TerritoryUnited States
CitySan Francisco
Period23/08/0526/08/05

Fingerprint

Dive into the research topics of 'The Individual and Collective Token Interpretations of Petri Nets'. Together they form a unique fingerprint.

Cite this