A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems

Journal of Intelligent Manufacturing

Volumn 27, Issue 5, 2016, Pages 1111-1129

  Uzam, Murat ^a   Li, ZhiWu ^b,c   Gelen, Gökhan ^d   Zakariyya, Rabiu Saleh ^a  

^a MELIKSAH UNIVERSITY   (Turkey)

^b MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^c XIDIAN UNIVERSITY   (China)

^d GAZIOSMANPASA UNIVERSITY   (Turkey)

Author keywords

Deadlock; Deadlock prevention; Flexible manufacturing systems (FMS); Liveness enforcing supervisor (LES); Petri nets (PN)

Indexed keywords

MANUFACTURE; PETRI NETS; SUPERVISORY PERSONNEL;

DEADLOCK; DEADLOCK PREVENTION; DEADLOCK-FREE OPERATIONS; DIVIDE AND CONQUER METHODS; EXPONENTIAL COMPLEXITY; LIVENESS-ENFORCING SUPERVISOR; OFF-LINE COMPUTATION; RESOURCE UTILIZATIONS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84984924320     PISSN: 09565515     EISSN: 15728145     Source Type: Journal    
DOI: 10.1007/s10845-014-0938-z     Document Type: Article

References (51)

1. Chandrasekaran, S., Somnath, N., & Sreenivas, R. S. (2014). A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing and service systems. Journal of Intelligent Manufacturing. doi:10.1007/s10845-014-0888-5.
2. Chao, Y., & Pan, Y. L. (2013). Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems. Journal of Intelligent Manufacturing. doi:10.1007/s10845-013-0757-7.
3. Chen, Y. F., Li, Z. W., Khalgui, M., & Mosbahi, O. (2011). Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering, 8(2), 374–393.
4. Chen, Y. F., & Li, Z. W. (2011). Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica, 47(5), 1028–1034.
5. Chen, Y. F., & Li, Z. W. (2012). On structural minimality of optimal supervisors for flexible manufacturing systems. Automatica, 48(10), 2647–2656.
6. Chen, Y. F., Li, Z. W., & Al-Ahmari, A. (2013). Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(2), 252–265.
7. Chen, Y. F., Li, Z. W., & Barkaoui, K. (2014a). Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. Information Sciences, 256, 74–90.
8. Chen, Y. F., Li, Z. W., & Zhou, M. C. (2014b). Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach. IEEE Transactions on Automation Science and Engineering, 11(2), 549–563.
9. Ezpeleta, J., Colom, J. M., & Martinez, J. (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11(2), 173–184.
10. Ghaffari, A., Nidhal, N., & Xie, X. L. (2003). Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, 19(2), 137–142.
11. Hou, Y. F., Li, Z. W., Zhao, M., & Liu, D. (2014). Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets. International Journal of Computer Integrated Manufacturing, 27(1), 85–102.
12. Hu, H. S., & Li, Z. W. (2009). Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs. Computers & Industrial Engineering, 57(4), 1168–1181.
13. Hu, H. S., & Li, Z. W. (2010). Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing, 21(4), 555–567.
14. Huang, Y. S., Jeng, M. D., Xie, X. L., & Chung, D. H. (2006). Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part A-Systems and Humans, 36(6), 1248–1256.
15. Huang, Y. S., Pan, Y. L., & Zhou, M. C. (2012). Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(2), 404–415.
16. INA. (2003). Integrated net analyzer, a software tool for analysis of Petri nets, Version 2.2. Posted at URL: http://www.informatik.hu-berlin.de/starke/ina.html.
17. Li, S. Y., An, A. M., Wang, Y., Wang, G., Hou, C. Q., & Cai, Y. (2013). Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing, 24(6), 1157–1173.
18. Li, Z. W., & Zhou, M. C. (2004). Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part A: Systems and Humans, 34(1), 38–51.
19. Li, Z. W., Hu, H. S., & Wang, A. R. (2007). Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 37(4), 517–526.
20. Li, Z. W., & Zhou, M.C. (2009). Deadlock resolution in automated manufacturing systems: A Novel Petri Net Approach. London: Springer-verlag.
21. Li, Z. W., Zhou, M. C., & Wu, N. Q. (2008a). A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part C-Applications and Reviews, 38(2), 173–188.
22. Li, Z. W., Zhou, M. C., & Jeng, M. D. (2008b). A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering, 5(1), 182–188.
23. Li, Z. W., & Zhou, M. C. (2008). Control of elementary and dependent siphons in Petri nets and their application. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(1), 133–148.
24. Li, Z. W., & Zhao, M. (2008). On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(2), 369–384.
25. Li, Z. W., & Hu, H. S. (2009). On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Computers & Industrial Engineering, 56(1), 53–62.
26. Li, Z. W., Zhu, S., & Zhou, M. C. (2009). A Divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part C-Applications and Reviews, 39(2), 156–169.
27. Li, Z. W., Liu, G., Hanisch, H.-M., & Zhou, M. C. (2012a). Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems. IEEE Transactions on System Man and Cybernetics Part A-Systems and Humans, 42(1), 178–191.
28. Li, Z. W., Wu, N. Q., & Zhou, M. C. (2012b). 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.
29. Liu, D., Li, Z. W., & Zhou, M. C. (2010a). Liveness of an extended S3PR. Automatica, 46(6), 1008–1018.
30. Liu, D., Li, Z. W., & Zhou, M. C. (2013a). A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets. Automatica, 49(11), 3167–3179.
31. Liu, G. J., Jiang, C. J., & Zhou, M. C. (2012). Process nets with channels. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(1), 213–225.
32. Liu, G. J., Jiang, C. J., Zhou, M. C., & Xiong, P. C. (2013b). Interactive Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(2), 291–302.
33. Liu, G. Y., & Li, Z. W. (2010b). General mixed integer programming-based liveness test for system of sequential systems with shared resources nets. IET Control Theory and Applications, 4(12), 2867–2878.
34. Murata, T. (1989). Petri nets: Properties, analysis and application. Proceedings of IEEE, 77(4), 541–579.
35. Piroddi, L., Cordone, R., & Fumagalli, I. (2008). Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 38(6), 1337–1348.
36. Piroddi, L., Cordone, R., & Fumagalli, I. (2009). Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 39(3), 650–661.
37. Uzam, M. (2002). An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal Advanced Manufacturing Technology, 19(3), 192–208.
38. Uzam, M. (2004). The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal Advanced Manufacturing Technology, 23(3–4), 204–219.
39. Uzam, M., & Zhou, M. C. (2006). An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal Production Research, 44(10), 1987–2030.
40. Uzam, M., & Zhou, M. C. (2007). An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. I EEE Transactions on System, Man and Cybernetics—Part A: Systems and Humans, 37(3), 362–371.
41. Uzam, M., Li, Z. W., & Zhou, M. C. (2007). Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. International Journal Advanced Manufacturing Technology, 35(1–2), 150–168.
42. Uzam, M., Zakariyya, R.S., Li, Z.W., & Gelen, G. (2013). The computation of liveness enforcing supervisors from submodels of a Petri net model of FMSs. In TENCON 2013—2013 IEEE Region 10 Conference (31194), 22–25 October 2013, Xi’an, China, pp. 1–4. doi:10.1109/TENCON.2013.6718803.
43. Yamalidou, K., Moody, J., Lemmon, M., & Antsaklis, P. (1996). Feedback control of petri nets based on place invariants. Automatica, 32(1), 15–28.
44. Wang, A. R., Li, Z. W., Jia, J. Y., & Zhou, M. C. (2009). An effective algorithm to find elementary siphons in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 39(4), 912–923.
45. Wang, A. R., Li, Z. W., Zhou, M. C., & Al-Ahmari, A. M. (2012). Iterative deadlock control by using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 42(6), 1204–1218.
46. Wang, F. Y., Gao, Y., & Zhou, M. C. (2004). A modified reachability tree approach to analysis of unbounded petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part B, 34(1), 303–308.
47. Wang, S. G., Wang, C. Y., & Zhou, M. C. (2012). Controllability conditions of resultant siphons in a class of Petri nets. IEEE Transactions on Systems Man and Cybernetics Part A-Systems and Humans, 5, 1206–1215.
48. Wu, N. Q., Zhou, M. C., & Li, Z. W. (2008). Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(1), 56–69.
49. Xing, K. Y., Hu, B. S., & Chen, H. X. (1996). Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, 41(2), 289–295.
50. Xing, K. Y., Zhou, M. C., Liu, H. X., & 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.
51. Zhong, C. F., Li, Z. W., Chen, Y. F., & Al-Ahmari, A. (2013). On nonexistence of a maximally permissive liveness-enforcing pure net supervisor. IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, 43(1), 29–37.