2nd IEEE International Conference on Computational Cybernetics (ICCC 2004), Vienna, Austria, 30 August - 01 September 2004, pp.309-314, (Full Text)
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.