• 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