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, Austria, 30 August - 01 September 2004, pp.309-314, (Full Text) identifier

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.1109/icccyb.2004.1437735
  • City: Vienna
  • Country: Austria
  • Page Numbers: pp.309-314
  • Keywords: simulation, discrete-event systems, Petri nets, supervisory control, deadlock
  • Anadolu University Affiliated: No

Abstract

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.