• DocumentCode
    2884113
  • Title

    The useful necessary and sufficient conditions for liveness of subclasses of regular Petri nets as well as some timed Petri nets

  • Author

    Tsuji, Kohkichi ; Matsumoto, Tadashi

  • Author_Institution
    Fac. of Eng., Fukui Univ., Japan
  • fYear
    1991
  • fDate
    16-17 Jun 1991
  • Firstpage
    97
  • Abstract
    The necessary and sufficient conditions for liveness of typical and useful subclasses are easily and systematically reduced from the necessary and sufficient condition for liveness of general regular Petri nets as well as special timed Petri nets
  • Keywords
    Petri nets; discrete time systems; liveness; regular Petri nets; subclasses; timed Petri nets; Discrete event systems; Hafnium; Petri nets; Sufficient conditions; System recovery;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1991. Conference Proceedings, China., 1991 International Conference on
  • Conference_Location
    Shenzhen
  • Type

    conf

  • DOI
    10.1109/CICCAS.1991.184291
  • Filename
    184291
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2884113