Supervisory controller design to enforce some basic properties in timed Petri nets

AYBAR A., İFTAR A.

IFAC Proceedings Volumes (IFAC-PapersOnline), cilt.13, sa.PART 1, ss.936-941, 2009 (Scopus) identifier

  • Yayın Türü: Makale / Özet
  • Cilt numarası: 13 Sayı: PART 1
  • Basım Tarihi: 2009
  • Doi Numarası: 10.3182/20090603-3-ru-2001.0319
  • Dergi Adı: IFAC Proceedings Volumes (IFAC-PapersOnline)
  • Derginin Tarandığı İndeksler: Scopus
  • Sayfa Sayıları: ss.936-941
  • Anahtar Kelimeler: Boundedness, Liveness, Reversibility, Supervisory controller design, Timed Petri nets
  • Anadolu Üniversitesi Adresli: Evet

Özet

Supervisory controller design to enforce boundedness, reversibility, and liveness in timed Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may be present and more than one transitions may fire simultaneously. The approach of stretching is used to represent the state of the system. Algorithms are presented to design a controller to enforce boundedness, reversibility, and liveness simultaneously. © 2009 IFAC.