Méthodes d'optimisation et de synthèse de contrôleurs réseaux de Petri

In this work, we present different control synthesis approaches based on Petri nets and the theory of regions. The control theories have some limitations in supervisory control. Indeed, the design of a PN supervisor, if it exists, is not an easy task due to the resolution complexity and the combinatorial explosion of states in the generated graph. This work aims to simplify the computational complexity of the synthesis methods by reducing the number of equations to solve and decreasing the computation time of calculation. Consequently, new concepts of minimal cuts and canonic markings are introduced in order to synthesize PN controllers. Finally, two approaches are developed to implement the designed PN controllers on a Flexible Manufacturing System.