Consensus-based decentralized supervision of Petri nets

In this work, by starting from the theoretical framework proposed in [1], the problem of decentralized supervision of a Petri net through collaboration among supervisors is addressed. Communication is assumed to be available but limited to one-hop neighbors, i.e., supervisors reachable from one another with respect to a certain communication radius r. A sufficient condition to achieve decentralized admissibility by focusing the attention on the communication topology of the network of supervisors is provided. Furthermore, under the assumption of control under concurrent firing, a protocol to reach an agreement on the control input among the supervisors is proposed. Finally, a feasibility analysis for the implementation of the proposed decentralized control framework is discussed.