Deadlock recovery for flexible manufacturing systems modeled with Petri nets

被引:107
作者
Chen, YuFeng [1 ]
Li, ZhiWu [1 ,2 ]
Al-Ahmari, Abdulrahman [3 ,4 ]
Wu, Naiqi [1 ]
Qu, Ting [5 ,6 ]
机构
[1] Macau Univ Sci & Technol, Inst Syst Engn, Taipa 999078, Macau, Peoples R China
[2] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[3] King Saud Univ, Adv Mfg Inst, FARCAMT Chair, Riyadh 12372, Saudi Arabia
[4] King Saud Univ, Dept Ind Engn, Coll Engn, Riyadh 12372, Saudi Arabia
[5] Jinan Univ, Sch Elect & Informat Engn, Zhuhai Campus, Zhuhai 519070, Peoples R China
[6] Jinan Univ, Inst Phys Internet, Zhuhai Campus, Zhuhai 519070, Peoples R China
基金
中国国家自然科学基金;
关键词
Flexible manufacturing system; Petri net; Deadlock; Liveness; OPTIMAL SUPERVISORY CONTROL; PREVENTION POLICY; SIPHON CONTROL; AVOIDANCE; CONTROLLABILITY; RESOLUTION; DESIGN; FMS;
D O I
10.1016/j.ins.2016.11.011
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper deals with deadlock problems in Petri nets by adding a set of recovery transitions. Different from traditional deadlock control methods by deploying control places for a net model to be controlled, this work adds transitions to a net model to recover all deadlock markings. First, we present an iterative approach. At each iteration step, an integer linear programming problem (ILPP) is formulated to design a recovery transition and the objective function is used to maximize the number of deadlock markings recovered by the obtained transition. The process is carried out until all deadlock markings are recovered. As a result, only a small number of recovery transitions are needed to recover all the deadlock markings, i.e., the resulting net model with recovery transitions is live. Second, we develop another ILPP to find all recovery transitions at a time. The constraints of the ILPP ensure that every deadlock marking is recovered by at least one selected recovery transition and the objective function is used to minimize the number of selected recovery transitions. Then, a minimal number of recovery transitions are obtained by solving one ILPP only. Both approaches can make a net model live with all reachable markings. Finally, serval examples are provided to demonstrate the proposed approach. (C) 2016 Elsevier Inc. All rights reserved.
引用
收藏
页码:290 / 303
页数:14
相关论文
共 56 条
[1]   Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology [J].
Bai, Liping ;
Wu, Naiqi ;
Li, Zhiwu ;
Zhou, MengChu .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (10) :1456-1467
[2]  
Chen Y.F., 2016, IEEE T SYST MAN CYB, DOI [10.1109/TSMC.2016.252.1833, DOI 10.1109/TSMC.2016.252.1833.]
[3]   On the enforcement of a class of nonlinear constraints on Petri nets [J].
Chen, YuFeng ;
Li, ZhiWu ;
Barkaoui, Kamel ;
Giua, Alessandro .
AUTOMATICA, 2015, 55 :116-124
[4]   New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs [J].
Chen, YuFeng ;
Li, Zhiwu ;
Barkaoui, Kamel ;
Uzam, Murat .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (10) :1384-1400
[5]   Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach [J].
Chen, YuFeng ;
Li, ZhiWu ;
Zhou, MengChu .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (02) :549-563
[6]   Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems [J].
Chen, YuFeng ;
Li, ZhiWu ;
Al-Ahmari, Abdulrahman .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (02) :252-265
[7]   On structural minimality of optimal supervisors for flexible manufacturing systems [J].
Chen, YuFeng ;
Li, ZhiWu .
AUTOMATICA, 2012, 48 (10) :2647-2656
[8]   Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems [J].
Chen, YuFeng ;
Li, Zhiwu .
AUTOMATICA, 2011, 47 (05) :1028-1034
[9]   Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems [J].
Chen, YuFeng ;
Li, Zhiwu ;
Khalgui, Mohamed ;
Mosbahi, Olfa .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) :374-393
[10]   Deadlock detection and avoidance strategies for automated storage and retrieval systems [J].
Dotoli, Mariagrazia ;
Pia Fanti, Maria .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 37 (04) :541-552