Abstract
Deadlock problems in highly automated manufacturing system (AMS) have recently received considerable interest from both industry and academia. In most of the researches, structural analysis and reachability graph analysis have been used to develop deadlocks prevention policies for AMSs based on ordinary petri nets. These policies are considered for deadlock problems in AMS with shared and reliable resources, while AMS are timed and subjected on unreliable resources. To provide a solution for this circumstances, this research developed appropriate methods for designing controller and analyzing of AMSs with shared and unreliable resources taking into account deadlocks problems. The proposed controllers enable systems to be worked with improved performance and high resource utilization based on timed petri nets. In this research a case study is provided to demonstrate the usefulness of the deadlock-control algorithm to ensure no occurrence of deadlocks in AMS. The flexible manufacturing system has been modelled using Visual Object Net version 2.a software and the simulation is done for 26 days (8 h per day). A performance comparison between two developed policies, failures causing scrap** and process resumes subsequent to repair, is made. Moreover, some issues are recommended to select the best policy.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Li Z, Zhou M, Wu N (2008) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part C: Appl Rev 38(2):173–188
Li Z, Wu N, Zhou M (2012) Deadlock control of automated manufacturing systems based on Petri nets—a literature review. IEEE Trans Syst Man Cybern Part C: Appl Rev 42(4):437–462
Abdulaziz M, Nasr EA, Al-Ahmari A, Kaid H, Li Z (2015) Evaluation of deadlock control designs in automated manufacturing systems, international conference on industrial engineering and operations management
Chen Y, Li Z, Barkaoui K, Giua A (2015) On the enforcement of a class of nonlinear constraints on Petri nets, Automatica, 55, pp 116–124
Chen Y, Li Z, Khalgui M, Mosbahi O (2011) Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Trans Autom Sci Eng 8(2):374–393
Wysk RA, Yang N-S, Joshi S (1991) Detection of deadlocks in flexible manufacturing cells. IEEE Trans Robot Autom 7(6):853–859
Chao DY (2009) Direct minimal empty siphon computation using MIP. Int J Adv Manuf Technol 45(3–4):397–405
Chao DY (2011) Improvement of suboptimal siphon-and FBM-based control model of a well-known. IEEE Trans Autom Sci Eng 8(2):404–411
Ghaffari A, Rezg N, **e X (2003) Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans Robot Autom 19(1):137–141
Uzam M, Zhou M (2004) Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Int Conf Syst Man Cybern 5:4260–4265
Uzam M (2004) The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int J Adv Manuf Technol 23(3–4):204–219
Lautenbach K (1987) Linear algebraic calculation of deadlocks and traps. In: Concurrency and Nets, First ed. Springer, US, pp 315–336
Uzam M (2002) An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int J Adv Manuf Technol 19(3):192–208
Chao DY (2010) Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (systems of simple sequential processes with general resource requirements). Comput J 53(10):1783–1798
Li Z, Zhou M (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A: Syst Hum 34(1):38–51
Pan Y-L, Tseng C-Y, Row T-C (2017) Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods. J Alg Comput Technol 1748301817710922
Zhao M, Uzam M (2017) A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems. Inf Sci 388:135–153
Cong X, Gu C, Uzam M, Chen Y, Al‐Ahmari AM, Wu N, Zhou M, Li Z (2018) Design of optimal petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs. Asian J Control
Lawley MA, Sulistyono W (2002) Robust supervisory control policies for manufacturing systems with unreliable resources. IEEE Trans Robot Autom 18(3):346–359
Hsieh F-S (2006) Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources. Automatica 42(7):1159–1166
Wang S, Chew SF, Lawley MA (2008) Using shared-resource capacity for robust control of failure-prone manufacturing systems. IEEE Trans Syst Man Cybern-Part A: Syst Hum 38(3):605–627
Chew SF, Wang S, Lawley MA (2009) Robust supervisory control for product routings with multiple unreliable resources. IEEE Trans Autom Sci Eng 6(1):195–200
Liu G, Li Z, Barkaoui K, Al-Ahmari AM (2013) Robustness of deadlock control for a class of Petri nets with unreliable resources. Inf Sci 235:259–279
Yue H, **ng K, Hu Z (2014) Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources. Int J Prod Res 52(6):1573–1591
Yue H, **ng K, Hu H, Wu W, Su H (2015) Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources. Comput Ind Eng 83:139–150
Wang F, **ng K-Y, Zhou M-C, Xu X-P, Han L-B (2016) A robust deadlock prevention control for automated manufacturing systems with unreliable resources. Inf Sci 345:243–256
Li Z, Zhou M (2005) Comparison of two deadlock prevention methods for different-size flexible manufacturing systems. Int J Intell Control Syst 10(3):235–243
Chen Y, Li Z, Zhou M (2012) Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A: Syst Hum 42(3):615–629
Nasr EA, El-Tamimi AM, Al-Ahmari A, Kaid H (2015) Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems. Math Probl Eng 501:537893
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Chowdhury, M.A.K., Krid, M., Akif, A., Mostafa, A. (2022). On the Design and Performance Analysis of Deadlock Controller for Automated Manufacturing Systems with Unreliable Resources. In: Abdel Wahab, M. (eds) Proceedings of the 4th International Conference on Numerical Modelling in Engineering. NME 2021. Lecture Notes in Mechanical Engineering. Springer, Singapore. https://doi.org/10.1007/978-981-16-8806-5_8
Download citation
DOI: https://doi.org/10.1007/978-981-16-8806-5_8
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-16-8805-8
Online ISBN: 978-981-16-8806-5
eBook Packages: EngineeringEngineering (R0)