IEEE Transactions on Automatic Control, Vol.60, No.7, 1774-1785, 2015
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
In this paper, a type of specifications called ORAND Generalized Mutual Exclusion Constraints (GMEC) for place/transition nets is defined. Such a specification consists of a disjunction of conjunction of several single GMECs, i.e., the requirement is that, at any given time, the controlled system should satisfy at least one set of conjunctive GMECs. We show that a bounded OR-AND GMEC can be enforced by a special control structure composed by a set of AND-GMEC monitor places plus a switcher that determines the current active ones. We also show that such a simple control structure can be modified to ensure maximal permissiveness. This approach can be used in the framework of supervisory control in Petri nets.
Keywords:Discrete event system;generalized mutual exclusion constraints (GMEC);Petri nets;supervisory control