Decentralized control approach of Petri nets based on net structure decomposition methods

A decentralized control approach of Petri nets is proposed based on net structure decomposition technologies. For the sake of concision of the theoretic results, we focus on the class of control problems each of that is a generalized mutual constraint (GMEC) where the influence uncontrollable subnet is a backward concurrent and forward conflict free (BCFCF) nets. Firstly, net structure decomposition techniques are presented for BCFCF nets. Secondly, an approach is proposed to equivalently transform the given control problem into a series of new simpler control problems, each of which is a state graph with a new GMEC. Furthermore, a controller, which is maximally permissive and in the form of Petri net structure, is synthesized for each new problem. Then, these controllers are designed to communicate each other in an appropriate manner to guarantee that the closed system be maximally permissive.