DocumentCode
2195993
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
Volume
1
fYear
1998
fDate
11-14 Oct 1998
Firstpage
78
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.725387
Filename
725387
Link To Document