Open Access Open Access  Restricted Access Subscription or Fee Access

Deadlock Detection and Avoidance in FMS with Shared Resources Using Timed Colored Petri Net


(*) Corresponding author


Authors' affiliations


DOI: https://doi.org/10.15866/iremos.v16i3.23469

Abstract


Deadlock is a critical case in flexible manufacturing system that results from resource sharing for processing different types of parts and concurrency. It leads to less efficiency and fewer parts to be produced. Previous attempts to solve this issue focused on putting constraints in the processes flow of a simple system to avoid deadlock. Yet, this way reduces the performance of system and hence the number of final products. Besides, it does not ensure its capability in complex systems. Thus, the objective of this paper is to model and simulate complex flexible manufacturing system that has shared resources and parallel machines using timed colored petri net. It also aims to analyse the system in terms of utilization in each stage and detect the deadlock where high utilization is found. Another objective is to avoid the deadlocks that have effect on the daily production of the system. The manufacturing system was modelled and simulated using CPN tool. Then, the analysis of the simulation in CPN was performed. It showed that deadlock exists in wire straightening with 88.55%, injection trolley 3 with 86.392%, spinning machine 1_2 with 90.611% and spinning machine 1_3 with 82.311% utilization. Four boilers and mould revolution were also determined as deadlocks having 87.75% and 98.295% utilization respectively. Deadlock avoidance was then conducted through testing six plans in the manufacturing system to improve the daily production of the company to obtain 50 more poles than the current production. It was concluded that the best one is by adding another resource in wire straightening, injection trolley 3 and mould revolution stages. The simulation in CPN showed that this plan could achieve 310 poles per day, which is 22.047% increase in production. The utilization in the three deadlocks became in between 55% to 60%. This method for detecting and avoiding deadlock was validated in Delmia Quest and the simulation of improvement showed that the suggested plan would produce 309 poles per day that equals 22.134% of current production.
Copyright © 2023 Praise Worthy Prize - All rights reserved.

Keywords


Flexible Manufacturing System; Shared Resources; Deadlock Detection; Deadlock Avoidance; Petri Net

Full Text:

PDF


References


Kaschel, H., & Bernal, L. M. S. y. (2006). Importance of flexibility in manufacturing systems. International Journal of Computers, Communications & Control, I(2), 53-60.
https://doi.org/10.15837/ijccc.2006.2.2285

Qiao, G., Lu, R. F., & McLean, C. (2006). Flexible manufacturing systems for mass customisation manufacturing. International Journal of Mass Customisation, 1(2-3), 374-393.
https://doi.org/10.1504/IJMASSC.2006.008631

Heizer, J., & Render, B. (2005). Operations Management (8th ed.). New Jersey: Prentice Hall.

Xing, K., Lin, F., & Hu, B. (2001). An Optimal Deadlock Avoidance Policy for Manufacturing Systems with flexible operation sequence and flexible routing. Proceedings of the IEEE International Conference on Robotics 8 Automation, 4, 3565-3570.

Fanti, M. P., & Zhou, M. (2004). Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 34(1), 5-22.
https://doi.org/10.1109/TSMCA.2003.820590

Li, Z., Wu, N., & Zhou, M. (2012). Deadlock Control of Automated Manufacturing Systems Based on Petri Nets - A Literature Review. IEEE Transactions on Systems, Man, and Cybernetics-Part C: Applications and Reviews, 42(4), 437-462.
https://doi.org/10.1109/TSMCC.2011.2160626

Ferrarini, L., & Maroni, M. (1998). Deadlock avoidance control for manufacturing systems with multiple capacity resources. The International Journal of Advanced Manufacturing Technology, 14(10), 729-736.
https://doi.org/10.1007/BF01438225

Koenig, D. T. (2006). Manufacturing Engineering: Principles For Optimization (3rd ed.). ASME.
https://doi.org/10.1115/1.802493

Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), 541-580.
https://doi.org/10.1109/5.24143

Jensen, K. (1996). Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use (Volume 1). Igarss 2014 (2nd ed.). Berlin: Springer-Verlag.

Han, L., Xing, K., Zhou, M., Chen, X., & Gao, Z. (2016). Efficient optimal deadlock control of flexible manufacturing systems. IET Control Theory & Applications, 10(10), 1181-1186.
https://doi.org/10.1049/iet-cta.2016.0010

Zhao, Y. M., Chai, X. J., & Zhao, L. Z. (2014). An Efficient Deadlock Avoidance Policy for FMS Using ROPN. Advanced Materials Research, 998-999, 751-754.
https://doi.org/10.4028/www.scientific.net/AMR.998-999.751

Yue, H., & Hu, H. (2013). A Polynomial Deadlock Avoidance Policy for a Class of Assembly Processes Based on Petri Nets. IEEE International Conference on Automation Science and Engineering (CASE), 1151-1156.
https://doi.org/10.1109/CoASE.2013.6654029

Chao, D. Y. (2010). Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (systems of simple sequential processes with general resource requirements). Computer Journal, 53(10), 1783-1798.
https://doi.org/10.1093/comjnl/bxq007

Xing, K., Zhou, M., Liu, H., & Tian, F. (2009). Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems. IEEE Transactions On Systems, Man, And Cybernetics-Part A: Systems And Humans, 39(1), 188-199.
https://doi.org/10.1109/TSMCA.2008.2007947

Wu, N., Zhou, M., & Li, Z. (2008). Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 38(1), 56-69.
https://doi.org/10.1109/TSMCA.2007.909542

Zandong, H., & Lee, G. (2005). Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems. International Journal of Advanced Manufacturing Technology, 25(7-8), 735-742.
https://doi.org/10.1007/s00170-003-1907-4

Lei, H., Xing, K., Gao, Z., & Xiong, F. (2016). A hybrid discrete differential evolution algorithm for deadlock-free scheduling with setup times of flexible manufacturing systems. Transactions of the Institute of Measurement and Control, 1-11.
https://doi.org/10.1177/0142331215618445

Baruwa, O. T., Piera, M. A., & Guasch, A. (2015). Deadlock-Free Scheduling Method for Flexible Manufacturing Systems based on timed colored petri nets and anytime heuristic search. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(5), 831-846.
https://doi.org/10.1109/TSMC.2014.2376471

Xing, K., Han, L., Zhou, M., & Wang, F. (2012). Deadlock-free genetic scheduling algorithm for automated manufacturing systems based on deadlock control policy. IEEE Transactions on Systems, Man, and Cybernetics. Part B (Cybernetics), 42(3), 603-615.
https://doi.org/10.1109/TSMCB.2011.2170678

J. Luo, Z. Liu, S. Wang and K. Xing (2020) Robust deadlock avoidance policy for automated manufacturing system with multiple unreliable resources, in IEEE/CAA Journal of Automatica Sinica, vol. 7, no. 3, pp. 812-821.
https://doi.org/10.1109/JAS.2020.1003096

Kaid, H., Al-Ahmari, A., Li, Z., & Ameen, W. (2021). Deadlock control and fault detection and treatment in reconfigurable manufacturing systems using colored resource-oriented Petri nets based on neural network. IEEE Access, 9.
https://doi.org/10.1109/ACCESS.2021.3084995


Refbacks

  • There are currently no refbacks.


Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2024 Praise Worthy Prize