Decentralized supervisory controller design to avoid deadlock in Petri nets

Aybar A., Iftar A.

INTERNATIONAL JOURNAL OF CONTROL, vol.76, no.13, pp.1285-1295, 2003 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 76 Issue: 13
  • Publication Date: 2003
  • Doi Number: 10.1080/0020717031000149609
  • Journal Name: INTERNATIONAL JOURNAL OF CONTROL
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.1285-1295
  • Anadolu University Affiliated: No

Abstract

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.