Supervisory control of concurrent systems. A Petri net structural approach. (Q2501322)

The supervision problem for Petri nets is introduced. An overview of the structural methods dealing with a particular type of specifications, which are described by system of linear inequalities in the Petri net marking is given. It is shown how some important classes of specifications can be reduced to the marking inequality specifications on transformed Petri nets. The problem of decentralized or distributed supervision is discussed. The problems of aliveness are considered. Important concepts and results relating the structure of Petri nets to deadlocks are presented. These are used for structural methods for the design of aliveness enforcing supervisors. The supervision of concurrent hybrid systems is considered. The approach is hierarchical, involving low-level controllers of hybrid systems, and a higher-level discrete-event supervisor, which issues commands to the low-level controllers. The discrete-event supervisor is designed based on the Petri net abstraction of the closed loop of controllers and hybrid systems. The control and abstraction of hybrid system is described and supervisor design for abstractions is discussed.