The individual and collective token interpretations of Petri nets van Glabbeek, Robert en_US 2021-11-25T15:25:48Z 2021-11-25T15:25:48Z 2005 en_US
dc.description.abstract 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. en_US
dc.identifier.isbn 3540283099 en_US
dc.language English
dc.language.iso EN en_US
dc.publisher Springer-Verlag Berlin en_US
dc.rights CC BY-NC-ND 3.0 en_US
dc.rights.uri en_US
dc.source Legacy MARC en_US
dc.title The individual and collective token interpretations of Petri nets en_US
dc.type Conference Paper en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.description.publisherStatement The original publication is available at en_US
unsw.identifier.doiPublisher en_US Berlin en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation San Francisco, USA en_US
unsw.relation.ispartofconferenceName 16th international conference on concurrency theory en_US
unsw.relation.ispartofconferenceProceedingsTitle Proceedings of the 16th international conference on concurrency theory (LNCS 3653) en_US
unsw.relation.ispartofconferenceYear 2005 en_US
unsw.relation.ispartofpagefrompageto 323-337 en_US
unsw.relation.originalPublicationAffiliation van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW en_US School of Computer Science and Engineering *
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
182.33 KB
Resource type