Supervisory controller design to enforce reversibility and liveness in colored Petri nets

Aybar A., Cimen M.

INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, cilt.5, sa.4, ss.463-470, 2007 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 5 Sayı: 4
  • Basım Tarihi: 2007
  • Dergi Adı: INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.463-470
  • Anahtar Kelimeler: colored Petri nets, discrete event systems, liveness, reversibility, supervisory controller
  • Anadolu Üniversitesi Adresli: Evet

Özet

Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.