A program for analysis and control of Petri nets
2nd IEEE International Conference on Computational Cybernetics (ICCC 2004), Vienna, Avusturya, 30 Ağustos - 01 Eylül 2004, ss.309-314, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Doi Numarası: 10.1109/icccyb.2004.1437735
- Basıldığı Şehir: Vienna
- Basıldığı Ülke: Avusturya
- Sayfa Sayıları: ss.309-314
- Anahtar Kelimeler: simulation, discrete-event systems, Petri nets, supervisory control, deadlock
- Anadolu Üniversitesi Adresli: Hayır
Özet
Analysis and control algorithms are introduced for discrete-event systems which are modeled by Petri nets. A simulation and control design program is then developed to implement these algorithms. The program can simulate a Petri net, can find its reachability set, can determine the set of deadlock states, and can design a supervisory controller to avoid deadlock.