Semantics of petri nets: a comparison

In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships between so called commutative processes representing collective token philosophy and individual process semantics of place/transition nets.

• Type: Conference
• Year: 2007
• Where: WSC
• Authors: Gabriel Juhás, Fedor Lehocki, Robert Lorenz
• Keywords: Collective Token Philosophy, Individual Process Semantics, Modeling And Simulation, Place/transition Petri Nets, WSC 2007