Deadlock recovery for flexible manufacturing systems modeled with Petri nets

Information Sciences

Volumn 381, Issue , 2017, Pages 290-303

  Chen, YuFeng ^a   Li, ZhiWu ^a,b   Al Ahmari, Abdulrahman ^c   Wu, NaiQi ^a   Qu, Ting ^d  

^a MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^b XIDIAN UNIVERSITY   (China)

^c KING SAUD UNIVERSITY   (Saudi Arabia)

^d JINAN UNIVERSITY   (China)

Author keywords

Deadlock; Flexible manufacturing system; Liveness; Petri net

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; INTEGER PROGRAMMING; ITERATIVE METHODS; PETRI NETS;

DEADLOCK; DEADLOCK CONTROL; DEADLOCK PROBLEMS; DEADLOCK RECOVERY; INTEGER LINEAR PROGRAMMING; ITERATIVE APPROACH; LIVENESS; OBJECTIVE FUNCTIONS;

RECOVERY;

EID: 84999622553     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2016.11.011     Document Type: Article

References (56)

1. [1] Bai, L.P., Wu, N.Q., Li, Z.W., Zhou, M.C., Optimal one-wafer cyclic scheduling and buffer space configuration for single-arm multicluster tools with linear topology. IEEE Trans. Syst., Man, Cybern.: Syst. 46:10 (2016), 1456–1467.
2. [2] Chen, Y.F., Li, Z.W., Khalgui, M., Mosbahi, O., Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Trans. Autom. Sci. Eng. 8:2 (2011), 374–393.
3. [3] Chen, Y.F., Li, Z.W., Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica 47:5 (2011), 1028–1034.
4. [4] Chen, Y.F., Li, Z.W., On structural minimality of optimal supervisors for flexible manufacturing systems. Automatica 48:10 (2012), 2647–2656.
5. [5] Chen, Y.F., Li, Z.W., Al-Ahmari, A., Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern.: Syst. 43:2 (2013), 252–265.
6. [6] Chen, Y.F., Li, Z.W., Zhou, M.C., Optimal supervisory control of flexible manufacturing systems by Petri nets: a set classification approach. IEEE Trans. Autom. Sci. Eng. 11:2 (2014), 549–563.
7. [7] Chen, Y.F., Li, Z.W., Barkaoui, K., Uzam, M., New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs. IEEE Trans. Syst., Man, Cybern.: Syst. 44:10 (2014), 1384–1400.
8. [8] Chen, Y.F., Li, Z.W., Barkaoui, K., Giua, A., On the enforcement of a class of nonlinear constraints on Petri nets. Automatica 55:5 (2015), 116–124.
9. [9] Chen, Y.F., Li, Z.W., Barkaoui, K., Wu, N.Q., Zhou, M.C., Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs. IEEE Trans. Syst., Man, Cybern.: Syst., 2016, 10.1109/TSMC.2016.252.1833.
10. [10] Dotoli, M., Fanti, M.P., Deadlock detection and avoidance strategies for automated storage and retrieval systems. IEEE Trans. Syst. Man Cybern., Part C: Applic. Rev. 37:4 (2007), 541–552.
11. [11] Du, Y., Gu, N., Accelerating reachability analysis on Petri net for mutual exclusion-based deadlock detection. Third International Symposium on Computing and Networking (CANDAR), Sapporo, 2015, 75–81.
12. [12] Ezpeleta, J., Colom, J.M., Martinez, J.A., Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Autom. 11:2 (1995), 173–184.
13. [13] Ezpeleta, J., Tricas, F., Garcia-Valles, F., Colom, J.M., A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans. Robot. Autom. 18:4 (2002), 621–625.
14. [14] Ezpeleta, J., Recalde, L., A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Trans. Syst., Man, Cybern., Part A 34:1 (2004), 93–101.
15. [15] Fanti, M.P., Zhou, M.C., Deadlock control methods in automated manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A 34:1 (2004), 5–22.
16. [16] Ghaffari, A., Rezg, N., Xie, X.L., Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans. Robot. Autom. 19:1 (2003), 137–142.
17. [17] Giua, A., Seatzu, C., Basile, F., Observer-based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. Autom. Contr. 49:1 (2004), 17–29.
18. [18] Hsieh, F.S., Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Trans. Syst., Man, Cybern., Part A 34:1 (2004), 65–79.
19. [19] Huang, Y.S., Jeng, M.D., Xie, X.L., Chung, D.H., Siphon-based deadlock prevention for flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A 36:6 (2006), 1248–1256.
20. [20] Huang, Y.S., Pan, Y.L., Su, P.J., Transition-based deadlock detection and recovery policy for FMSs using graph technique. ACM Trans. Embedded Comput. Syst., 12(1), 2013 11:1–11:13.
21. [21] Kumaran, T.K., Chang, W., Cho, H., Wysk, A., A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. Int. J. Prod. Res. 32:10 (1994), 2361–2379.
22. [22] K. Lautenbach, H. Ridder, The linear algebra of deadlock avoidance-a Petri net approach, no. 25–1996, technical report, institute of software technology, university of koblenz-landau, koblenz, germany, 1996.
23. [23] Li, Z.W., Zhou, M.C., Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A 34:1 (2004), 38–51.
24. [24] Li, Z.W., Zhou, M.C., Jeng, M.D., A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Trans. Autom. Sci. Eng. 5:1 (2008), 182–188.
25. [25] Li, Z.W., Zhao, M., On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst., Man, Cybern., Part A 38:2 (2008), 369–384.
26. [26] Li, Z.W., Liu, G.Y., Hanisch, M.-H., Zhou, M.C., Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A 42:1 (2012), 178–191.
27. [27] Li, Z.W., Wu, N.Q., Zhou, M.C., Deadlock control of automated manufacturing systems based on Petri nets – a literature review. IEEE Trans. Syst., Man, Cybern., Part C 42:4 (2012), 437–462.
28. [28] Ma, Z.Y., Li, Z.W., Giua, A., Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints. IEEE Trans. Automat. Contr. 60:7 (2015), 1774–1785.
29. [29] Murata, T., Petri nets: properties, analysis and application. Proc. IEEE 77:4 (1989), 541–580.
30. [30] Park, J., Reveliotis, S.A., Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Automat. Contr. 46:10 (2001), 1572–1583.
31. [31] Passos, L.M.S., Julia, S., Deadlock-freeness acenarios detection in web service composition. Proceedings of 12th International Conference on Information Technology, 2015, New Generations (ITNG), Las Vegas, NV, 780–783.
32. [32] Piroddi, L., Cordone, R., Fumagalli, I., Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst., Man, Cybern., Part A 38:6 (2008), 1337–1348.
33. [33] Piroddi, L., Cordone, R., Fumagalli, I., Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Trans. Syst., Man Cybern, Part A 39:3 (2009), 650–661.
34. [34] Tong, Y., Li, Z.W., Giua, A., On the equivalence of observation structures for Petri net generators. IEEE Trans. Automat. Contr. 61:9 (2016), 2448–2462.
35. [35] Tricas, F., Martinez, J., An extension of the liveness theory for concurrent sequential processes competing for shared resources. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 1995, Vancouver, British Columbia, Canada, 3035–3040.
36. [36] Tricas, F., Garcia-Valles, F., Colom, J.M., Ezpeleta, J., An iterative method for deadlock prevention in FMS. Stremersch, G., (eds.) Discrete Event Systems: Analysis and Control, 2000, Kluwer Academic, Boston, MA, 139–148.
37. [37] Uzam, M., 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 (2002), 192–208.
38. [38] Uzam, M., Zhou, M.C., An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. Int. J. Prod. Res. 44:10 (2006), 1987–2030.
39. [39] Uzam, M., Zhou, M.C., An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst., Man Cybern., Part A 37:3 (2007), 362–371.
40. [40] Wang, S.G., Wang, C.Y., Zhou, M.C., Li, Z.W., A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets. IEEE Trans. Syst., Man Cybern., Part A 42:1 (2012), 226–237.
41. [41] Wang, S.G., Wang, C.Y., Zhou, M.C., Controllability conditions of resultant siphons in a class of Petri nets. IEEE Trans. Syst., Man Cybern., Part A 42:5 (2012), 1206–1215.
42. [42] Wang, S.G., Zhou, M.C., Wang, C.Y., Li, Z.W., A new modified reachability tree approach and its applications to unbounded Petri nets. IEEE Trans. Syst., Man, Cybern.: Syst. 43:4 (2013), 932–940.
43. [43] Wang, S.G., You, D., Zhou, M.C., Seatsu, C., Characterization of admissible marking sets in Petri nets with uncontrollable transitions. IEEE Trans. Automat. Contr. 61:7 (2016), 1953–1958.
44. [44] Wang, S.G., You, D., Wang, C.Y., Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm. Inf. Sci. (Ny) 363 (2016), 261–273.
45. [45] Wu, N.Q., Zhou, M., Li, Z.W., Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Trans. Syst., Man, Cybern., Part A 38:1 (2008), 56–69.
46. [46] Wu, N.Q., Zhou, M.C., Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets. IEEE Trans. Autom. Sci. Eng. 9:2 (2012), 446–454.
47. [47] Wu, N.Q., Zhou, M.C., Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation. IEEE Trans. Autom. Sci. Eng. 9:1 (2012), 203–209.
48. [48] Wu, N.Q., Chu, F., Chu, C.B., Zhou, M.C., Petri net modeling and cycle time analysis of dual-arm cluster tools with wafer revisiting. IEEE Trans. Syst., Man, Cybern.: Syst. 43:1 (2013), 196–207.
49. [49] Wu, N.Q., Zhou, M.C., Li, Z.W., Short-term scheduling of crude-oil operations: Petri net-based control-theoretic approach. IEEE Rob. Autom. Mag. 22:2 (2015), 64–76.
50. [50] Wu, N.Q., Zhou, M.C., Bai, L.P., Li, Z.W., Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines. Enterp. Inf. Syst. 10:6 (2016), 581–610.
51. [51] Wysk, R.A., Yang, N.S., Joshi, S., Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J. Manuf. Syst. 13:2 (1994), 128–138.
52. [52] Xing, K.Y., Zhou, M.C., Liu, H.X., Tian, F., Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A 39:1 (2009), 188–199.
53. [53] Xing, K.Y., Zhou, M.C., Wang, F., Liu, H.X., Tian, F., Resource-transition circuits and siphons for deadlock control of automated manufacturing systems. IEEE Trans. Syst., Man, Cybern., Part A 41:1 (2011), 74–84.
54. [54] Ye, J.H., Li, Z.W., Giua, A., Decentralized supervision of Petri nets with a coordinator. IEEE Trans. Syst., Man, Cybern.: Syst. 45:6 (2015), 955–966.
55. [55] Zhang, J.F., Khalgui, M., Li, Z.W., Frey, G., Mosbahi, O., Salah, H.B., Reconfigurable coordination of distributed discrete event control systems. IEEE Trans. Control Syst. Technol. 23:1 (2015), 323–330.
56. [56] Zhou, M.C., DiCesare, F., Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Trans. Robot. Autom. 7:4 (1991), 515–527.