A program for analysis and control of Petri nets

APAYDIN H., Manay A., Aybar A., Iftar A.

2nd IEEE International Conference on Computational Cybernetics (ICCC 2004), Vienna, Avusturya, 30 Ağustos - 01 Eylül 2004, ss.309-314 identifier

  • 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.