A New Modified Reachability Graph of ω-independent Petri Nets and its Application

被引：0

作者：

Yang, Ru ^{[1
,2
]}

Ding, Zhijun ^{[1
,2
]}

Pan, Meiqin ^{[3
]}

机构：

[1] Minist Educ, Key Lab Embedded Syst & Serv Comp, Shanghai 201804, Peoples R China

[2] Tongji Univ, Shanghai 201804, Peoples R China

[3] Shanghai Int Studies Univ, Coll Int Business, Shanghai 200083, Peoples R China

来源：

2ND INTERNATIONAL CONFERENCE ON COMMUNICATION AND TECHNOLOGY (ICCT 2015) | 2015年

关键词：

omega-Independent; Petri net; Liveness; Deadlock; NMRG; TREE APPROACH;

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Analysis approaches of liveness are important to Petri nets theory, but the relevant research work in the past is still inadequate. This paper proposed a new modified reachability graph (NMRG) approach for liveness analysis of omega -independent Petri nets. The NMRG of a Petri net is transformed from its NMRT and can be used to analyze liveness and deadlock of omega -independent unbound Petri nets. A sufficient condition of liveness and a sufficient and necessary condition of deadlock of omega -independent Petri nets are proposed on the basis of NMRG. Examples are given to illustrate the method.

引用

页码：63 / 70

页数：8

共 10 条

[1]

[Anonymous], 1969, J COMPUT SYST SCI, DOI DOI 10.1016/S0022-0000(69)80011-5

[2] Deadlock checking for one-place unbounded Petri nets based on modified reachability trees [J].

Ding, ZhiJun ;

Jiang, ChangJun ;

Zhou, MengChu .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 38 (03) :881-883

[3]

Jeng MD, 1999, IEEE T SYST MAN CY A, V29, P173, DOI 10.1109/3468.747852

[4]

Jeng MD, 1997, IEEE SYS MAN CYBERN, P3221, DOI 10.1109/ICSMC.1997.633101

[5] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[6]

Peterson J.L., 1981, Petri Net Theory and the Modeling of Systems

[7] Comments on "A modified reachability tree approach to analysis of unbounded Petri nets" [J].

Ru, Yu ;

Wu, Weitnin ;

Hadjicostis, Christoforos N. .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 36 (05) :1210-1210

[8]

Wang F. Y., 1991, P IEEE INT C SYST MA, P329

[9] A modified reachability tree approach to analysis of unbounded Petri nets [J].

Wang, FY ;

Gao, YQ ;

Zhou, MC .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2004, 34 (01) :303-308

[10] A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets [J].

Wang, ShouGuang ;

Zhou, MengChu ;

Li, ZhiWu ;

Wang, ChengYing .

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (04) :932-940

← 1 →