A new method for finding firing sequences of Petri nets
John Takuya Ootsuki, Yasumasa Fujii, Takashi Sekiguchi, H. Mizutani, Sachiko Kobayashi, I. Miazawa · 2002
A new method based on a feedback maximization network for finding legal firing sequences of a P1 net, Petri net models covered by basic P-invariant set equal to one, is proposed. In this work the outline of this algorithm and a simple numerical application example of the proposed method is presented.