Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network

A reconfigurable manufacturing system (RMS) means that it can be reconfigured and become more complex during its operation. In RMSs, deadlocks may occur because of sharing of reliable or unreliable resources. Various deadlock control techniques are proposed for RMSs with reliable and unreliable resources. However, when the system is large-sized, the complexity of these techniques will increase. To overcome this problem, this paper develops a four-step deadlock control policy for the detection and treatment of faults in an RMS. In the first step, a colored resource-oriented timed Petri net (CROTPN) is designed for rapid and effective reconfiguration of the RMS without considering resource failures. In the second step, “sufficient and necessary conditions” for the liveness of a CROTPN are introduced to guarantee that the model is live. The third step considers the problems of failures of all resources in the CROTPN model and guarantees that the model is reliable by designing a common recovery subnet and adding it to the obtained CROTPN model at the second step. The fourth step designs a new hybrid method that combines the CROTPN with neural networks for fault detection and treatment. A simulation is performed using the GPenSIM tool to evaluate the proposed policy under the RMS configuration changes and the results are compared with the existing approaches in the literature. It is shown that the proposed approach can handle any complex RMS configurations, solve the deadlock problem in an RMS, and detect and treat failures. Furthermore, is simpler in its structure.

[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]  Ting Qu,et al.  Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach , 2019, IEEE Access.

[3]  Keyi Xing,et al.  Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[4]  Zhiwu Li,et al.  Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems , 2020 .

[5]  Mark A. Lawley,et al.  Robust supervisory control policies for manufacturing systems with unreliable resources , 2002, IEEE Trans. Robotics Autom..

[6]  Naiqi Wu Avoiding deadlocks in automated manufacturing systems with shared material handling system , 1997, Proceedings of International Conference on Robotics and Automation.

[7]  MengChu Zhou,et al.  Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes , 2011 .

[8]  Zhiwu Li,et al.  Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes , 2020 .

[9]  Pei Li,et al.  Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Zhiwu Li,et al.  Evaluation of deadlock control designs in automated manufacturing systems , 2015, 2015 International Conference on Industrial Engineering and Operations Management (IEOM).

[11]  MengChu Zhou,et al.  A robust deadlock prevention control for automated manufacturing systems with unreliable resources , 2016, Inf. Sci..

[12]  MengChu Zhou,et al.  Resource-Oriented Petri Net-Based Approach to Deadlock Prevention of AMSs , 2015, 2015 IEEE International Conference on Systems, Man, and Cybernetics.

[13]  Kamel Barkaoui,et al.  Robustness of deadlock control for a class of Petri nets with unreliable resources , 2013, Inf. Sci..

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

[15]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[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]  MengChu Zhou,et al.  On Petri Net Modeling of Automated Manufacturing Systems , 2007, 2007 IEEE International Conference on Networking, Sensing and Control.

[18]  Zhiwu Li,et al.  Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems , 2020, IEEE Access.

[19]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.

[20]  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..

[21]  Abdulrahman Al-Ahmari,et al.  Robust deadlock control for automated manufacturing systems based on elementary siphon theory , 2020, Inf. Sci..

[22]  Zhiwu Li,et al.  Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices , 2020, IEEE Transactions on Industrial Informatics.

[23]  Lijun Zhou,et al.  Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems , 2016 .

[24]  MengChu Zhou,et al.  A novel method for deadlock prevention of AMS by using resource-oriented Petri nets , 2016, Inf. Sci..

[25]  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.

[26]  Mengchu Zhou,et al.  Modeling and deadlock control of automated guided vehicle systems , 2004, IEEE/ASME Transactions on Mechatronics.

[27]  Paulo Eigi Miyagi,et al.  Detection and treatment of faults in automated machines based on Petri nets and Bayesian networks , 2003, 2003 IEEE International Symposium on Industrial Electronics ( Cat. No.03TH8692).

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

[29]  Naiqi Wu,et al.  Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets , 2020, IEEE Access.

[30]  Ichiro Inasaki,et al.  Tool Condition Monitoring (TCM) — The Status of Research and Industrial Application , 1995 .

[31]  Zhiwu Li,et al.  An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems , 2020, IEEE Transactions on Automatic Control.

[32]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[33]  MengChu Zhou,et al.  Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[34]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[35]  Reggie Davidrajuh Modeling Discrete-Event Systems with GPenSIM , 2018 .

[36]  Xianzhong Dai,et al.  Automatic Reconfiguration of Petri Net Controllers for Reconfigurable Manufacturing Systems With an Improved Net Rewriting System-Based Approach , 2009, IEEE Transactions on Automation Science and Engineering.

[37]  Kamel Barkaoui,et al.  Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources , 2019, IEEE Access.

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

[39]  Zhou He,et al.  K-Codiagnosability Verification of Labeled Petri Nets , 2019, IEEE Access.

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

[41]  Paulo Eigi Miyagi,et al.  Supervisor System for Detection and Treatment of Failures in Manufacturing Systems Using Distributed Petri Nets , 2001 .

[42]  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.

[43]  Yufeng Chen,et al.  On structural minimality of optimal supervisors for flexible manufacturing systems , 2012, Autom..

[44]  D. Devaraj,et al.  Artificial neural network approach for fault detection in rotary system , 2008, Appl. Soft Comput..

[45]  Kenneth A. Loparo,et al.  A neural-network approach to fault detection and diagnosis in industrial processes , 1997, IEEE Trans. Control. Syst. Technol..

[46]  Jingjing Du,et al.  An MIP-Based Deadlock Prevention Policy for Siphon Control , 2019, IEEE Access.

[47]  MengChu Zhou,et al.  Deadlock avoidance in semiconductor track systems , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[48]  Ting Qu,et al.  On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets. , 2019, ISA transactions.

[49]  Fu-Shiung Hsieh Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources , 2006, Autom..

[50]  Junfei Qiao,et al.  A fuzzy neural network approach for online fault detection in waste water treatment process , 2014, Comput. Electr. Eng..

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

[52]  MengChu Zhou,et al.  Resource-oriented Petri nets in deadlock avoidance of AGV systems , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[53]  MengChu Zhou,et al.  Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[54]  Song Foh Chew,et al.  Robust Supervisory Control for Product Routings With Multiple Unreliable Resources , 2009, IEEE Transactions on Automation Science and Engineering.

[55]  Zhiwu Li,et al.  Diagnosability of Vector Discrete-Event Systems Using Predicates , 2019, IEEE Access.

[56]  Dawn M. Tilbury,et al.  Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System With Serial and Parallel Configuration , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[57]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[58]  Zhiwu Li,et al.  Design of Supervisors for Active Diagnosis in Discrete Event Systems , 2020, IEEE Transactions on Automatic Control.

[59]  Song Foh Chew,et al.  Using shared resource capacity for robust control of failure prone manufacturing systems , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[60]  ZhaoYu Xiang Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity , 2020, VECoS.

[61]  Zhiwu Li,et al.  On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets , 2019, IEEE Access.

[62]  Abdulrahman Al-Ahmari,et al.  Petri Net Model Based on Neural Network for Deadlock Control and Fault Detection and Treatment in Automated Manufacturing Systems , 2020, IEEE Access.

[63]  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 .

[64]  MengChu Zhou,et al.  Shortest Routing of Bidirectional Automated Guided Vehicles Avoiding Deadlock and Blocking , 2007, IEEE/ASME Transactions on Mechatronics.

[65]  Jing Yang,et al.  Fault detection and diagnosis of permanent-magnet DC motor based on parameter estimation and neural network , 2000, IEEE Trans. Ind. Electron..

[66]  Tobias Faust Robot Analysis And Control , 2016 .

[67]  Keyi Xing,et al.  Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources , 2014 .

[68]  ZhiWu Li,et al.  On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems , 2017, ArXiv.

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

[70]  Hao Yue,et al.  Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources , 2015, Comput. Ind. Eng..

[71]  MengChu Zhou,et al.  Process vs resource‐oriented Petri net modeling of automated manufacturing systems , 2010 .

[72]  MengChu Zhou,et al.  One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets , 2013, TECS.