Deadlock checking for one-place unbounded Petri nets based on modified reachability trees

被引：33

作者：

Ding, ZhiJun ^{[1
]}

Jiang, ChangJun ^{[2
]}

Zhou, MengChu ^{[3
,4
]}

机构：

[1] Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China

[2] Tongji Univ, Dept Comp Sci & Engn, Shanghai 201804, Peoples R China

[3] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA

[4] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China

来源：

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS | 2008年 / 38卷 / 03期

关键词：

automated manufacturing systems; deadlock; Petri net; reachability tree;

D O I：

10.1109/TSMCB.2008.917177

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A deadlock-checking approach for one-place unbounded Petri nets is presented based on modified reachability trees (MRTs). An MRT can provide some useful information that is lost in a finite reachability tree, owing to MRT's use of the expression a + bn(j) rather than symbol omega to represent the value of the components of a marking. The information is helpful In property analysis of unbounded Petri nets. For the dead lock-checking purpose, this correspondence paper classifies full conditional nodes in MRT into two types: true and fake ones. Then, an algorithm is proposed to determine whether a full conditional node is true or not. Finally, a necessary and sufficient condition of deadlocks is presented. Examples are given to illustrate the method.

引用

页码：881 / 883

页数：3

共 12 条

[1] Deadlock control methods in automated manufacturing systems [J].

Fanti, MP ;

Zhou, MC .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01) :5-22

[2]

Hruz B., 2007, MODELING CONTROL DIS

[3]

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

[4]

Karp R., 1969, J COMPUT SYST SCI, V3, P147, DOI DOI 10.1016/S0022-0000(69)80011-5

[5] Multiparadigm modeling for hybrid dynamic systems using a Petri net framework [J].

Lee, Jin-Shyan ;

Zhou, MengChu ;

Hsu, Pau-Lo .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (02) :493-498

[6] Performance modeling and analysis of workflow [J].

Li, JQ ;

Fan, YS ;

Zhou, MC .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (02) :229-242

[7] Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets [J].

Li, Zhi Wu ;

Hu, He Suan ;

Wang, An Rong .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 37 (04) :517-526

[8] Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems [J].

Li, ZW ;

Zhou, MC .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01) :38-51

[9]

Peterson J., 1981, PETRI NET THEORY MOD

[10] 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

← 1 2 →