Title :
A program for analysis and control of petri nets´
Author :
H. Apaydin;A. Manay;A. Aybar;A. Iftu
Author_Institution :
Dept. of Electr. & Electron. Eng., Anadolu Univ., Eskisehir
fDate :
6/26/1905 12:00:00 AM
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
Keywords :
"Petri nets","System recovery","Algorithm design and analysis","Fires","Discrete event systems","Control design","Testing","Visual BASIC","Tiles","Bars"
Conference_Titel :
Computational Cybernetics, 2004. ICCC 2004. Second IEEE International Conference on
Print_ISBN :
0-7803-8588-8
DOI :
10.1109/ICCCYB.2004.1437735
