Title :
A heuristic algorithm FSD for the legal firing sequence problem of Petri nets
Author :
Yamauchi, Masato ; Watanabe, Toshio
Author_Institution :
Dept. of Circuits & Syst., Hiroshima Univ., Japan
Abstract :
Proposes an heuristic algorithm FSD for the legal firing sequence problem of Petri nets, a very fundamental problem in Petri net theory. FSD is applied to 8480 test problems such that, for each of them, existence of an exact solution is guaranteed, and it finds a solution to each of 7219(85%) test problems including all 3900 state machine cases. This shows highest capability of FSD among existing ones.
Keywords :
Petri nets; automata theory; FSD heuristic algorithm; exact solution; legal firing sequence problem; Artificial intelligence; Circuits and systems; Heuristic algorithms; Law; Legal factors; Petri nets; Polynomials; Resource management; Testing; Tree graphs;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725387
