ABSTRACT
In Petri (1962) Carl Adam Petri developed Petri nets (PN) as a graphical modelling formalism for condition-discrete systems. Petri nets consist of just a few basic elements and some simple basic rules which describe the dynamic behaviour of the model. Wherever dynamic systems with synchronisations, concurrent and parallel characteristics as well as causal dependencies require depiction, Petri nets can be used. The basic elements of Petri nets are:
• Places, drawn as circles (so-called passive nodes within the graph); they represent possible conditions and they can contain tokens.
