A partial-order-based simulation and validation approach for high-level Petri nets

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 speciied in a graphical way and how these properties can be checked in a very eecient way by evaluating partially ordered simulation runs.