Overlapping decompositions and expansions of Petri nets

Aybar A., Iftar A.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, cilt.47, sa.3, ss.511-515, 2002 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 47 Sayı: 3
  • Basım Tarihi: 2002
  • Doi Numarası: 10.1109/9.989151
  • Dergi Adı: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.511-515
  • Anahtar Kelimeler: discrete-event systems (DESs), inclusion principle, large-scale systems, overlapping decompositions, Petri nets, DYNAMIC-SYSTEMS, CONTRACTIONS
  • Anadolu Üniversitesi Adresli: Hayır

Özet

Overlapping decompositions and expansions are considered to design decentralized controllers for discrete-event systems (DESs) modeled, by Petri nets. The inclusion principle for Petri nets is first defined. It is shown that properties like boundedness, reversibility, and liveness (with a mild additional condition) carry over from the including net to the included net. Moreover, a new property called obstruction, is introduced for the including net, and it is shown that if obstruction does not occur in the including net, then deadlock does not occur in the included net. An expansion procedure, which guarantees inclusion for an overlappingly decomposed Petri net, is then introduced.