Petri net controllers - Implementation and application

Modeling techniques were used to obtain a behavioral model of the application defined by its specifications. [1][3][4][5] . The verification of this model allows us to ascertain (or not) that its behaviour does not betray that expected and describes it correctly. [4][10] . Feedback on the modeling may have been necessary, in order to adjust the representation of the application and track the required operation as closely as possible. These steps are detailed in .

The implementation stage gives reality to the model resulting from all this design and analysis work: process control can finally be envisaged. Finally, an application example is presented for illustrative purposes.