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

共 33 条

[21] Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets
Du, Nan
Hu, Hesuan
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2021, 18 (04) : 1790 - 1802
[22] Using Theory of Regions with Selective Siphon Control for Deadlock Prevention Policy in Petri Nets
Pan, Yen-Liang
Huang, Yi-Sheng
Jeng, Mu-Der
Chung, Sheng-Luen
PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 1189 - 1194
[23] 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
[24] 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
[25] Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets
Du, Nan
Hu, Hesuan
Zhou, MengChu
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2020, 17 (04) : 1961 - 1975
[26] Drop-on-Demand Inkjet Drop Control With One-Step Look Ahead Estimation of Model Parameters
Wang, Jie
Chiu, George T. -C.
IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2023, 28 (04) : 1993 - 2002
[27] Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets
Wu, N.
Zhou, M.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2007, 45 (15) : 3439 - 3456
[28] On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets
Murat Uzam
Gökhan Gelen
The International Journal of Advanced Manufacturing Technology, 2014, 74 : 1213 - 1217
[29] Deadlock-free scheduling for flexible manufacturing systems using untimed Petri nets and model predictive control
Lefebvre, Dimitri
IFAC PAPERSONLINE, 2016, 49 (12): : 384 - 389
[30] On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets
Uzam, Murat
Gelen, Gokhan
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2014, 74 (9-12) : 1213 - 1217

← 1 2 3 4 →