On the Design and Performance Analysis of Deadlock Controller for Automated Manufacturing Systems with Unreliable Resources

1. 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

   Article  Google Scholar 

2. 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

   Article  Google Scholar 

3. 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

   Google Scholar 

4. 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

   Google Scholar 

5. 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

   Article  Google Scholar 

6. Wysk RA, Yang N-S, Joshi S (1991) Detection of deadlocks in flexible manufacturing cells. IEEE Trans Robot Autom 7(6):853–859

   Article  Google Scholar 

7. Chao DY (2009) Direct minimal empty siphon computation using MIP. Int J Adv Manuf Technol 45(3–4):397–405

   Article  Google Scholar 

8. 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

   Article  Google Scholar 

9. Ghaffari A, Rezg N, Xie 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

   Article  Google Scholar 

10. 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

    Google Scholar 

11. 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

    Article  Google Scholar 

12. Lautenbach K (1987) Linear algebraic calculation of deadlocks and traps. In: Concurrency and Nets, First ed. Springer, US, pp 315–336

    Google Scholar 

13. 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

    Article  Google Scholar 

14. 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

    Article  Google Scholar 

15. 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

    Article  Google Scholar 

16. 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

    Google Scholar 

17. Zhao M, Uzam M (2017) A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems. Inf Sci 388:135–153

    Google Scholar 

18. 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

    Google Scholar 

19. Lawley MA, Sulistyono W (2002) Robust supervisory control policies for manufacturing systems with unreliable resources. IEEE Trans Robot Autom 18(3):346–359

    Article  Google Scholar 

20. Hsieh F-S (2006) Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources. Automatica 42(7):1159–1166

    Article  MathSciNet  Google Scholar 

21. 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

    Article  Google Scholar 

22. 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

    Article  Google Scholar 

23. 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

    Google Scholar 

24. Yue H, Xing 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

    Article  Google Scholar 

25. Yue H, Xing 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

    Google Scholar 

26. Wang F, Xing 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

    Google Scholar 

27. 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

    Google Scholar 

28. 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

    Article  Google Scholar 

29. 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

    Google Scholar 

Download references