• DocumentCode
    2614891
  • Title

    The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock live in general Petri nets

  • Author

    Matsumoto, Tadashi ; Saikusa, Ken ; Tsuji, Kohkichi

  • Author_Institution
    Fac. of Eng., Fukui Univ., Japan
  • fYear
    1993
  • fDate
    3-6 May 1993
  • Firstpage
    2717
  • Abstract
    A property about a general Petri net N = (S,T,F,Mo) is proven. When an arbitrary minimal structural deadlock (or MSDL ND ) contains some minimal structural traps (or MSTRs), this MSDL is live under the initial marking Mo with a single exception that is if at least one MSTR is live under Mo, provided that (I) every other MSDL except one ND in N is live under Mo and (II) the above MSDL ND has no live behavioral traps
  • Keywords
    Petri nets; arbitrary minimal structural deadlock; general Petri nets; initial marking; live behavioral traps; live minimal structural traps; Bipartite graph; Hafnium; Iron; Neodymium; Petri nets; System recovery;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
  • Conference_Location
    Chicago, IL
  • Print_ISBN
    0-7803-1281-3
  • Type

    conf

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