Interpreted Petri nets
Modeling tools of sequential automatisms - Petri networks

The representation of the operating part reduced to a set of counters is generally sufficient to satisfy the needs of the simulation. However, it may happen that you wish to go further in the simulation stage, in particular to introduce additional conditions in the evolution of the model, and thus to directly take into account certain variables in the operating part.

But it is above all the implementation stage, the last act in the process of defining or modifying a system, which requires us to consider the operative part through all the variables and operators that make it up. The links between the control unit and its environment now need to be superimposed on the autonomous graph. This implies the introduction of new conditions for the evolution...