مرکز منطقه ای اطلاع رساني علوم و فناوري - The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock live in general Petri nets

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,M_o) is proven. When an arbitrary minimal structural deadlock (or MSDL N_D) contains some minimal structural traps (or MSTRs), this MSDL is live under the initial marking M_o with a single exception that is if at least one MSTR is live under M_o, provided that (I) every other MSDL except one N_D in N is live under M_o and (II) the above MSDL N_D 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.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2614891