Supervisory control of manufacturing systems using Petri nets

The pioneering work of Ramadge and Wonham [22] on the existence and synthesis of controller for discrete event systems (DES) used finite state automata and formal languages to model the plant. A DES G is considered as a language generator whose behaviour is the language denoted L(G).Given 260a legal language L, the basic control problem is to design a supervisor that restricts the closed loop behaviour of the plant to L ∩ L (G). Although the Ramadge–Wonham approach is very general, the lack of structure in controlled automata models limits the possibilities of developing computationally efficient algorithms for analysis and synthesis