On the Semantics of Place/Transition Nets

13 years 10 months ago
On the Semantics of Place/Transition Nets
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, we show how Petri nets determine local trace languages; these may be represented by local event structures in many ways, each method leading to a particular coreflection. One of these semantics is finally proved to be appropriate for the construction of a behavior preserving unfolding of Petri nets.
Rémi Morin, Brigitte Rozoy
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Authors Rémi Morin, Brigitte Rozoy
Comments (0)