Publikation

Titel:

„Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets“

AutorInnen:

Robin Bergenthum
Sabine Folz-Weinstein
Jakub Kovář

Kategorie:

Konferenzbandbeiträge

erschienen in:

Proceedings of PETRI NETS 2023, Lecture Notes in Computer Science 13929, 286-306, Springer 2023.

Abstract:

There are different semantics for Petri nets. The behavior of a Petri net is either its set of enabled firing sequences, the reachability graph, a set of process nets, a valid partial language, its branching process, or any other known semantics taken from the literature. Every semantics has different advantages in different applications. Some focus on the set of reachable states and can model conflicts well. Other focus on the control flow of actions and can directly specify concurrency. Yet, every semantics has its drawbacks. State graphs explode in size when there is concurrency. Sequential and partial languages explode in size if there is conflict. Furthermore, all semantics use different concepts, definitions, graphical representations, and related algorithms. In this paper, we introduce token trails to define whether a labeled Petri net is in the language of another Petri net. Using labeled Petri nets as a specification language, we show how to faithfully model behavior including conflict and concurrency. Furthermore, we prove that token trail semantics faithfully covers all other semantics of Petri nets and, thus, serves as a kind of meta semantics.

Download:

electronic edition via DOI (open access)