CAUSAL-SEMANTIC-BASED SIMULATION AND VALIDATION OF HIGH-LEVEL PETRI NETS

This contribution describes a simulation concept for systems modelled by high level Petri nets that is based on causal semantics. Dynamic properties can be checked by evaluating these partially-ordered simulation runs. It will be shown that this approach is not only more e cient but also has more analytical power than the classical simulation method based on sets of totally-ordered transition occurrences.