A heuristic algorithm FSD for the legal firing sequence problem of Petri nets
M. Yamauchi, Takuo Watanabe · 2002
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.