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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
