• DocumentCode
    285694
  • Title

    An equivalence net-condition between place-liveness and transition-liveness and its initial-marking-based necessary and sufficient liveness condition of Petri nets

  • Author

    Matsumoto, Tadashi ; Tsuji, Kohkichi

  • Author_Institution
    Fac. of Eng., Fukui Univ., Japan
  • Volume
    4
  • fYear
    1992
  • fDate
    3-6 May 1992
  • Firstpage
    1737
  • Abstract
    The structural necessary and sufficient condition for `the transition-liveness means the place-liveness and vice-versa´ of a subclass NII of general Petri nets is given as `the place and transition live Petri net, or PT net, N˜II ´. The initial-marking-based necessary and sufficient transition-live, i.e. place-live, condition for N˜II is also given specifying the relation to that for the subclass NII of general Petri nets. The one-token-condition Petri nets, or OTC nets, which are a subset of N˜II , are also discussed
  • Keywords
    Petri nets; OTC nets; Petri nets; equivalence net-condition; initial-marking-based liveness condition; necessary liveness condition; one-token-condition Petri nets; place-liveness; sufficient liveness condition; transition live Petri net; transition-liveness; Fires; Neodymium; Petri nets; Sufficient conditions; System recovery;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on
  • Conference_Location
    San Diego, CA
  • Print_ISBN
    0-7803-0593-0
  • Type

    conf

  • DOI
    10.1109/ISCAS.1992.230420
  • Filename
    230420
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=285694