A partial-order-based simulation and validation approach for high-level Petri nets
Jörg Desel, Thomas Freytag, Andreas Oberweis, Torsten Zimmer · Repository KITopen (Karlsruhe Institute of Technology) · 1997
This contribution describes a simulation concept for systems modelled by high-level Petri nets based on partial-order semantics. The main advantage of this approach is its ability to represent and visualize causal dependencies and concurrency explicitly and to give the user a much more intuitive insight into the dynamic behaviour of the modelled system. Additionally, the paper describes how system properties can be specified in a graphical way and how these properties can be checked in a very efficient way by evaluating partially ordered simulation runs.