Supervisory Control of Petri Nets with Decentralized Monitor Places

In this paper we consider the problem of determining a set of decentralized controllers for place/transition nets to enforce a global specification on the net behavior. In particular, we assume that both the global specification and the decentralized specifications are given in terms of generalized mutual exclusion constraints (GMECs). An algorithm is given under appropriate assumptions, namely the weights of the GMECs are positive, the transitions are controllable and observable, and the support of each decentralized GMEC is a singleton. Even if such assumptions strongly limit the application of the solution to real cases, the proposed results constitute a preliminary step towards a synthesis procedure that optimizes the permissiveness of the closed loop behavior under decentralized control.