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.
Some new results on supervisory control of Petri Nets with decentralized monitor places
BASILE, FRANCESCO;
2008-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.