Decentralized supervisory controller design to avoid deadlock in Petri nets

Aybar A., Iftar A.

INTERNATIONAL JOURNAL OF CONTROL, cilt.76, sa.13, ss.1285-1295, 2003 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 76 Sayı: 13
  • Basım Tarihi: 2003
  • Doi Numarası: 10.1080/0020717031000149609
  • Dergi Adı: INTERNATIONAL JOURNAL OF CONTROL
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.1285-1295
  • Anadolu Üniversitesi Adresli: Hayır

Özet

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.