Decentralized supervisory controller design to avoid deadlock in Petri nets

A decentralized supervisory controller design approach, using overlapping decompositions, is proposed for discrete-event systems modelled by Petri nets to avoid deadlock. In this approach, the given original Petri net is first decomposed into overlapping Petri subnets. A controller for each disjoint Petri subnet is then designed. A controller for the expanded Petri net is next obtained by combining these controllers in a certain way. In the final phase, the controller obtained for the expanded Petri net is contracted in a certain way to obtain a controller for the original Petri net. It is proved that this final controller avoids deadlock in the original Petri net.

[1]  Altug Iftar,et al.  Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets , 2003, 2003 European Control Conference (ECC).

[2]  Altug Iftar,et al.  Overlapping decompositions and expansions of Petri nets , 2002, IEEE Trans. Autom. Control..

[3]  U. Ozguner,et al.  Decentralized LQG/LTR Controller Design for Interconnected Systems , 1987, 1987 American Control Conference.

[4]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[5]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[6]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[7]  Banu Ataslar,et al.  Decentralized routing controller design using overlapping decompositions , 1999 .

[8]  A. Aybar,et al.  Decentralized routing control using overlapping decompositions , 1994, Proceedings of MELECON '94. Mediterranean Electrotechnical Conference.

[9]  M. Nielsen,et al.  Decidability Issues for Petri Nets , 1994 .

[10]  Ikeda,et al.  Overlapping decompositions, expansions, and contractions of dynamic systems , 1979 .

[11]  A. Iftar,et al.  Overlapping decomposition of traffic networks , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[12]  Masao Ikeda,et al.  On Decentralized Control with Overlapping Information Sets , 1981 .

[13]  Altug Iftar,et al.  Overlapping decompositions, expansions, contractions, and stability of hybrid systems , 1998, IEEE Trans. Autom. Control..

[14]  Altuğ İftar,et al.  Overlapping decentralized dynamic optimal control , 1993 .

[15]  R. Sreenivas.  On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets , 1997, IEEE Trans. Autom. Control..

[16]  Yu-Chi Ho,et al.  Discrete event dynamic systems : analyzing complexity and performance in the modern world , 1992 .

[17]  Chen Haoxun.  Net structure and control logic synthesis of controlled Petri nets , 1998, IEEE Transactions on Automatic Control.