Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems

Deadlock control approaches based on Petri nets are usually implemented by adding control places and related arcs to the Petri net model of a system. The main disadvantage of the existing policies is that many control places and associated arcs are added to the initially constructed Petri net model, which significantly increases the complexity of the supervisor of the Petri net model. The objective of this study is to develop a two-step robust deadlock control approach. In the first step, we use a method of deadlock prevention based on strict minimal siphons (SMSs) to create a controlled Petri net model. In the second step, all control places obtained in the first step are merged into a single control place based on the colored Petri net to mark all SMSs. Finally, we compare the proposed method with the existing methods from the literature.

[1]  Murat Uzam,et al.  The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .

[2]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[3]  Mi Zhao,et al.  A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems , 2017, Inf. Sci..

[4]  Xuemin Chen,et al.  A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks , 2019, Sensors.

[5]  Nidhal Rezg,et al.  Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..

[6]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[7]  MengChu Zhou,et al.  Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs , 2018 .

[8]  Yufeng Chen,et al.  Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..

[9]  Roberto Cordone,et al.  Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[11]  D Y Chao.  Improvement of Suboptimal Siphon- and FBM-Based Control Model of a Well-Known ${\rm S}^{3}{\rm PR}$ , 2011, IEEE Transactions on Automation Science and Engineering.

[12]  MengChu Zhou,et al.  Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  Daniel Y. Chao.  Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements) , 2010, Comput. J..

[14]  Jamal Bentahar,et al.  Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game , 2018, IEEE Transactions on Services Computing.

[15]  Zhiwu Li,et al.  DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS , 2019 .

[16]  Yen-Liang Pan,et al.  Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods , 2017 .

[17]  Jianchao Luo,et al.  Robust deadlock control for automated manufacturing systems with an unreliable resource , 2016, Inf. Sci..

[18]  Murat Uzam,et al.  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .

[19]  Kamel Barkaoui,et al.  On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..

[20]  MengChu Zhou,et al.  A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[21]  Abdulrahman Al-Ahmari,et al.  Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems , 2015 .

[22]  Olfa Mosbahi,et al.  Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems , 2011, IEEE Transactions on Automation Science and Engineering.

[23]  Jamal Bentahar,et al.  A survey on trust and reputation models for Web services: Single, composite, and communities , 2015, Decis. Support Syst..

[24]  D. Chao.  Direct minimal empty siphon computation using MIP , 2009 .

[25]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..