Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes
Source abstract
Abstract
In reconfigurable manufacturing systems (RMSs), the architecture of a system can be modified during its operation. This reconfiguration can be caused by many motivations: processing rework and failures, adding new products, adding new machines, etc. In RMSs, sharing of resources may lead to deadlocks, and some operations can therefore remain incomplete. The objective of this article is to develop a novel two-step solution for quick and accurate reconfiguration of supervisory controllers for deadlock control in RMSs with dynamic changes. In the first step, the net rewriting system (NRS) is used to design a reconfigurable Petri net model under dynamic configurations. The obtained model guarantees boundedness behavioral property but may lose the other properties of a Petri net model (i.e., liveness and reversibility). The second step develops an automatic deadlock prevention policy for the reconfigurable Petri net using the siphon control method based on a place invariant to solve the deadlock problem with dynamic structure changes in RMSs and achieve liveness and reversibility behavioral properties for the system. The proposed approach is tested using examples in the literature and the results highlight the ability of the automatic deadlock prevention policy to adapt to RMSs configuration changes.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Petri Nets in System Modeling · Flexible and Reconfigurable Manufacturing Systems · Formal Methods in Verification
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
Department of Industrial Engineering, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia
Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
Department of Electrical Engineering and Computer Science, Faculty of Science and Technology, University of Stavanger, 4036 Stavanger, Norway
Funding
King Saud University
References (46)
Show source-provided references
1. Hu, Y., Ma, Z., and Li, Z. (2020). Design of Supervisors for Active Diagnosis in Discrete Event Systems. IEEE Trans. Autom. Control.10.1109/TAC.2020.2970011 ↗
2. Nonblocking Supervisory Control of State-Tree Structures with Conditional-Preemption Matrices10.1109/TII.2019.2939628 ↗
3. Reconfigurable manufacturing systems: Key to future manufacturing10.1023/A:1008930403506 ↗
4. Design principles of reconfigurable machines10.1007/s00170-006-0615-2 ↗
5. Patel, R., Gojiya, A., and Deb, D. (2019). Failure Reconfiguration of Pumps in Two Reservoirs Connected to Overhead Tank. Innovations in Infrastructure, Springer.10.1007/978-981-13-1966-2_7 ↗
6. Kaid, H., Al-Ahmari, A., Li, Z., and Davidrajuh, R. (2020). Single controller-based colored Petri nets for deadlock control in automated manufacturing systems. Processes, 8.10.3390/pr8030358 ↗
7. Kaid, H., Al-Ahmari, A., Li, Z., and Davidrajuh, R. (2020). Intelligent colored token Petri nets for modeling, control, and validation of dynamic changes in reconfigurable manufacturing systems. Processes, 8.10.3390/pr8030358 ↗
8. Li, Z., and Zhou, M. (2009). Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer Science & Business Media.
9. A Pareto-based genetic algorithm for multi-objective scheduling of automated manufacturing systems10.1177/1687814019885294 ↗
10. An approach to improve permissiveness of supervisors for GMECs in time Petri net systems10.1109/TAC.2019.2914895 ↗
11. On scalable supervisory control of multi-agent discrete-event systems10.1016/j.automatica.2019.06.012 ↗
12. Diagnosability of vector discrete-event systems using predicates10.1109/ACCESS.2019.2945132 ↗
13. Petri Net Model Based on Neural Network for Deadlock Control and Fault Detection and Treatment in Automated Manufacturing Systems10.1109/ACCESS.2020.2999054 ↗
14. An integrated control method for designing non-blocking supervisors using Petri nets10.1177/1687814017700829 ↗
15. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems10.1109/TASE.2010.2060332 ↗
16. Al-Ahmari, A., Kaid, H., Li, Z., and Davidrajuh, R. (2020). Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems with Unreliable Resources. IEEE Access.10.1109/ACCESS.2020.2968469 ↗
17. Design and implementation of deadlock control for automated manufacturing systems
18. Improvement of suboptimal siphon-and FBM-based control model of a well-known S3PR10.1109/TASE.2010.2088120 ↗
19. Design of a live and maximally permissive Petri net controller using the theory of regions10.1109/TRA.2002.807555 ↗
20. The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems10.1007/s00170-002-1526-5 ↗
21. On algebraic identification of critical states for deadlock control in automated manufacturing systems modeled with Petri nets10.1109/ACCESS.2019.2936052 ↗
22. Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems10.1155/2015/537893 ↗
23. Deadlock-free resource allocation control for a reconfigurable manufacturing system with serial and parallel configuration10.1109/TSMCC.2007.905843 ↗
24. Automatic reconfiguration of petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system-based approach10.1109/TASE.2008.2006857 ↗
25. Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes10.1177/0142331208095622 ↗
26. Control reconfiguration of discrete event systems with dynamic control specifications10.1109/TASE.2007.911688 ↗
27. Dumitrache, I., Caramihai, S., and Stanescu, A. (2000, January 19–19). Intelligent agent-based control systems in manufacturing. Proceedings of the 2000 IEEE International Symposium on Intelligent Control. Held jointly with the 8th IEEE Mediterranean Conference on Control and Automation (Cat. No. 00CH37147), Rio Patras, Greece.
28. Ohashi, K., and Shin, K.G. (2001, January 21–26). Model-based control for reconfigurable manufacturing systems. Proceedings of the 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No. 01CH37164), Seoul, Korea.
29. Formal verification for analysis and design of logic controllers for reconfigurable machining systems10.1109/TRA.2002.802206 ↗
30. Event-condition-action systems for reconfigurable logic control10.1109/TASE.2006.880857 ↗
31. Modelling reconfigurable manufacturing systems with coloured timed Petri nets10.1080/00207540801946662 ↗
32. Using high level Petri nets in the modelling, simulation and verification of reconfigurable manufacturing systems10.1142/S0218194014500168 ↗
33. Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems10.1177/1687814016677698 ↗
34. Structural and dynamic changes in concurrent systems: Reconfigurable Petri nets10.1109/TC.2004.66 ↗
35. Li, J., Dai, X., and Meng, Z. (2005, January 6–10). Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers. Proceedings of the 31st Annual Conference of IEEE Industrial Electronics Society, Raleigh, NC, USA.
36. Modeling of reconfigurable distributed manufacturing control systems
37. The tool TINA–construction of abstract state spaces for Petri nets and time Petri nets10.1080/00207540412331312688 ↗
38. Bonet, P., Catalina, M.L., and Puigjaner, R. (, January October). A Petri Net tool for performance modeling. Proceedings of the 23rd Latin American Conference on Informatics (CLEI 2007), San Jose, Costa Rica.
39. Badouel, E., Llorens, M., and Oliver, J. (2003, January 23–26). Modeling concurrent systems: Reconfigurable nets. Proceedings of the PDPTA, Las Vegas, NV, USA.
40. Feedback control of Petri nets based on place invariants10.1016/0005-1098(95)00103-4 ↗
41. Moody, J.O., and Antsaklis, P.J. (2012). Supervisory Control of Discrete Event Systems Using Petri Nets, Springer Science & Business Media.
42. Davidrajuh, R. (2018). Modeling Discrete-Event Systems with GPenSIM: An Introduction, Springer.10.1007/978-3-319-73102-5 ↗
43. A Petri net based deadlock prevention policy for flexible manufacturing systems10.1109/70.370500 ↗
44. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems10.1109/TSMCA.2003.820576 ↗
45. Selective siphon control for deadlock prevention in Petri nets10.1109/TSMCA.2008.2003535 ↗
46. Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems10.1109/TSMCA.2011.2169956 ↗