One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets

被引：52

作者：

Wu, Naiqi ^{[1
]}

Zhou, Mengchu ^{[2
,3
]}

Hu, Gang ^{[1
]}

机构：

[1] Guangdong Univ Technol, Sch Electromech Engn, Dept Ind Engn, Guangzhou 510006, Guangdong, Peoples R China

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

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

来源：

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS | 2013年 / 12卷 / 01期

关键词：

Algorithms; Performance; Deadlock avoidance; automated manufacturing systems (AMS); Petri net; discrete event systems; supervisory control; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE-ALLOCATION SYSTEMS; PREVENTION POLICY; ELEMENTARY SIPHONS; DEPENDENT SIPHONS; AVOIDING DEADLOCK; AVOIDANCE; RESOLUTION; ALGORITHM; DESIGN;

D O I：

10.1145/2406336.2406346

中图分类号：

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

学科分类号：

0812 ;

摘要：

It is desired that a deadlock control policy for automated manufacturing systems (AMS) is maximally permissive. However, its tractability issue remains open, and this work addresses this important issue. It models AMS with a resource-oriented Petri net (ROPN) and presents a necessary and sufficient condition under which there exists a one-step look-ahead maximally permissive control policy for deadlock avoidance in AMS. It further identifies some conditions under which a one-step look-ahead maximally permissive deadlock control policy exists for a single-capacity system. The conditions can be conveniently examined by using the developed ROPN model.

引用

页数：23

共 50 条

[21] An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
Li, Shaoyong
Wei, Xianhong
Cai, Ying
Ma, Bingshan
Hou, Caiqin
Han, Xilian
Hong, Liang
ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (11)
[22] Maximally permissive deadlock prevention policies for flexible manufacturing systems using control transition
Row, Ter-Chan
Pan, Yen-Liang
ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (07)
[23] On deadlock control using Petri nets and siphons for automated manufacturing systems
Li, Zhiwu
Ma, Xiong
PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, 2006, : 227 - 232
[24] Novel Deadlock Control for Smartphone Manufacturing Systems Using Petri Nets
Yi-Nan Lin
Sheng-Kuan Wang
Gwo-Jen Chiou
Cheng-Ying Yang
Victor R. L. Shen
Tony Tong-Ying Juang
Ting-Jui Huang
International Journal of Control, Automation and Systems, 2022, 20 : 877 - 887
[25] Novel Deadlock Control for Smartphone Manufacturing Systems Using Petri Nets
Lin, Yi-Nan
Wang, Sheng-Kuan
Chiou, Gwo-Jen
Yang, Cheng-Ying
Shen, Victor R. L.
Juang, Tony Tong-Ying
Huang, Ting-Jui
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2022, 20 (03) : 877 - 887
[26] Implementation of a robust cruise control using look-ahead method
Gaspar, Peter
Nemeth, Balazs
Basset, Michel
Orjuela, Rodolfo
IFAC PAPERSONLINE, 2016, 49 (11): : 505 - 510
[27] A modeling strategy for control and interlocking of an AMS using virtual Petri nets
Morandin, Jr Orides
Kato, R. R. Edilson
Araujo, G. Rodrigo
Sasso, V. Luciano
2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 1664 - 1669
[28] Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets
Li, Shao Yong
Li, Zhi Wu
Hu, He Suan
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2011, 24 (08) : 710 - 725
[29] Open Problems in Deadlock Control for Flexible Manufacturing Systems by Using Petri Nets
Li, Zhiwu
Al-Ahmari, Abdulrahman M.
COMPUTER-AIDED DESIGN, MANUFACTURING, MODELING AND SIMULATION, PTS 1-2, 2011, 88-89 : 134 - +
[30] Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems
Gu, Chao
Li, Zhiwu
Wu, Naiqi
Khalgui, Mohamed
Qu, Ting
Al-Ahmari, Abdulrahman
IEEE ACCESS, 2018, 6 : 68824 - 68838

← 1 2 3 4 5 →