Some New Results on Supervisory Control of Petri Nets with Decentralized Monitor Places

This paper presents two new results on the problem of determining a set of decentralized controllers for place/transition nets to enforce a global specification on the net behavior. Both the global specification and the decentralized specifications are given in terms of Generalized Mutual Exclusion Constraints (GMECs). First, an algorithm to select a decentralized specification that finds a compromise between fairness among variables and the maximal cardinality is proposed assuming that the support of each decentralized GMEC is a singleton. Then, a maximal solution in terms of permissiveness and fairness among places is proposed removing the previous assumption.