Many industrial processes are working through a discrete time operation sequence. Flexible production units or manufacturing lanes composed what is called discrete event systems and are controlled by logical loops.
First the aim is to handle a set of specifications for such a close-loop process and to build up the control part of the loop. Industrial applications are nowadays mainly embedded in a Programmable Logic Controller (PLC).
The other aim is to discover and learn how to use Petri netwotk tool so as to model part or totality of a close-loop discrete process. The model can be used to check the close-loop behaviour by properties analysis or simulation.
• Control of continuous systems and discrete event systems • Programmable Logic Controller and GRAFCET langage (also called Sequential Functional Chart – SFC) • Petri networks (principles, most used structures, property analysis)