Supervisory controller design to enforce reversibility and liveness in colored Petri nets
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, cilt.5, sa.4, ss.463-470, 2007 (SCI-Expanded, Scopus)
- 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.