Decentralized structural control approach for Petri nets

Aybar A.

CONTROL AND CYBERNETICS, cilt.36, sa.1, ss.143-159, 2007 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 36 Sayı: 1
  • Basım Tarihi: 2007
  • Dergi Adı: CONTROL AND CYBERNETICS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.143-159
  • Anahtar Kelimeler: discrete-event systems, Petri nets, decentralized control, structural controller, DISCRETE-EVENT SYSTEMS, OVERLAPPING DECOMPOSITIONS, SUPERVISORY CONTROL, EXPANSIONS, LIVENESS, CONTRACTIONS, DEADLOCK, DESIGN
  • Anadolu Üniversitesi Adresli: Evet

Özet

The structural controller, described by adding the control places to the Petri nets, is introduced in this work to lead the Petri net to the desired marking vectors. An algorithm (Algorithm is developed to determine the control places for the given Petri net. The connections and the initial marking of each control place are determined in this algorithm. Moreover, a decentralized structural control approach, based on overlapping decompositions, is introduced in this work. In this decentralized approach, all disjoint Petri subnets, which are obtained by using overlapping decompositions, are determined. The control places for each Petri subnet are determined by using the given algorithm. Then, the control places for the orginal Petri net are obtained by the control places of each PSN by another algorithm (Algorithm I and these places are added to the orginal Petri net. Therefore, a decentralized structural controller which guarantees to lead the Petri net to the desired marking vectors is obtained.