Decentralized Supervisory Control of Petri Nets with Monitor Places

In this paper we study the problem of determining a set of decentralized monitors for place/transition nets to enforce a global specification on the net behavior given in terms of generalized mutual exclusion constraints (GMECs). We generalize our previous results in this topic. In particular, the novel contribution here consists in removing the restrictive assumption that the weights of the GMECs must be positive, while we still assume that all transitions are controllable and observable, and the support of each decentralized GMEC is a singleton. The main feature of the proposed solution is that it guarantees fairness among places.