A Survey of Deadlock Prevention Policies Based on Petri Net

被引：0

作者：

Wu Wen-hui ^{[1
]}

Zhang Qi ^{[2
]}

机构：

[1] Zhejiang Gongshang Univ, Coll Informat & Elect Engn, Hangzhou, Zhejiang, Peoples R China

[2] Zhejiang Gongshang Univ, Coll Pub Adm, Hangzhou, Zhejiang, Peoples R China

来源：

INTERNATIONAL CONFERENCE OF CHINA COMMUNICATION (ICCC2010) | 2010年

关键词：

Petri net; deadlock prevention policy; siphon; summary; LIVENESS-ENFORCING SUPERVISORS; ELEMENTARY SIPHONS; SYSTEMS; DESIGN; AVOIDANCE;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Deadlocks in automated manufacturing systems are the problems that we have to consider and solve. Over the last two decades, a fair amount of research was focused on these problems, resulting in a wide variety of approaches. This paper intends to review and compare some significant deadlock prevention policies based on Petri nets reported in the literature. Their comparison of these methods is done in terms of structural complexity, behavior permissiveness, and computational complexity. This paper should facilitate people in studying deadlock control methods based on Petri nets.

引用

页码：764 / +

页数：2

共 19 条

[1] Deadlock prevention and avoidance in FMS: A Petri net based approach [J].

Abdallah, IB ;

ElMaraghy, HA .

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10) :704-715

[2]

BARKAOUI K, 1995, 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, P4119, DOI 10.1109/ICSMC.1995.538436

[3]

Barkaoui K, 1997, IEEE SYS MAN CYBERN, P3750, DOI 10.1109/ICSMC.1997.633253

[4] Deadlock analysis of Petri nets using siphons and mathematical programming [J].

Chu, F ;

Xie, XL .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (06) :793-804

[5] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS [J].

EZPELETA, J ;

COLOM, JM ;

MARTINEZ, J .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02) :173-184

[6] Design of a live and maximally permissive Petri net controller using the theory of regions [J].

Ghaffari, A ;

Rezg, N ;

Xie, XL .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (01) :137-142

[7] Design of deadlock prevention supervisors using Petri nets [J].

Huang, Yi-Sheng .

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2007, 35 (3-4) :349-362

[8] Deadlock prevention policy based on Petri nets and siphons [J].

Huang, YS ;

Jeng, M ;

Xie, XL ;

Chung, SL .

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2001, 39 (02) :283-305

[9]

JENG MD, 1995, IEEE T ROBOTIC AUTOM, V11, P317, DOI 10.1109/70.388774

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

← 1 2 →