Publication:
The individual and collective token interpretations of Petri nets
The individual and collective token interpretations of Petri nets
dc.contributor.author | van Glabbeek, Robert | en_US |
dc.date.accessioned | 2021-11-25T15:25:48Z | |
dc.date.available | 2021-11-25T15:25:48Z | |
dc.date.issued | 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.identifier.uri | http://hdl.handle.net/1959.4/44458 | |
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 | https://creativecommons.org/licenses/by-nc-nd/3.0/au/ | 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.accessRights.uri | https://purl.org/coar/access_right/c_abf2 | |
unsw.description.publisherStatement | The original publication is available at www.springerlink.com | en_US |
unsw.identifier.doiPublisher | http://dx.doi.org/10.1007/11539452_26 | en_US |
unsw.publisher.place | 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 |
unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1