Liveness of an extended S3PR

Automatica

Volumn 46, Issue 6, 2010, Pages 1008-1018

  Liu, Ding ^a   Li, ZhiWu ^b   Zhou, MengChu ^c  

^a XIDIAN UNIVERSITY   (China)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Circular wait; Deadlock prevention; Flexible manufacturing system (FMS); Petri nets; Polynomial algorithms

Indexed keywords

CIRCULAR WAIT; DEADLOCK PREVENTION; INITIAL MARKING; LIVENESS; POLYNOMIAL ALGORITHM; PREVENTION METHODS; SEQUENTIAL PROCESS; SIMPLE CIRCUITS;

ALGORITHMS; GRAPH THEORY; PETRI NETS; POLYNOMIALS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 77953128116     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2010.03.011     Document Type: Article

References (38)

1. Abdallah I.B., and ElMaraghy H.A. Deadlock prevention and avoidance in FMS: a Petri net based approach. International Journal of Advanced Manufacturing Technology 14 10 (1998) 704-715
2. Barkaoui, K., & Abdallah, I. B. (1995). A deadlock prevention method for a class of FMS. In Proceedings of IEEE international conference on systems, man, and cybernetics (pp. 4119-4124).
3. Barkaoui, K., Chaoui, A., & Zouari, B. (1997). Supervisory control of discrete event systems based on structure theory of Petri nets. In Proceedings of IEEE international conference on systems, man, and cybernetics (pp. 3750-3755).
4. Barkaoui, K., Couvreur, J. M., & Klai, K. (2005). On the equivalence between liveness and deadlock-freeness in Petri nets. In Proceedings of 26th international conference on applications and theory of Petri nets and other models of concurrency. Vol. 3536 (pp. 90-107).
5. 2. IET Control Theory and Applications 1 4 (2007) 933-936
6. Cho H., Kumaran T.K., and Wysk R.A. Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11 3 (1995) 413-421
7. Coffman E.G., Elphick M.J., and Shoshani A. System deadlocks. ACM Computing Surveys 3 2 (1971) 67-78
8. Ezpeleta J., Colom J.M., and Martínez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11 2 (1995) 173-184
9. Ezpeleta J., García-Vallés F., and Colom J.M. A class of well structured Petri nets for flexible manufacturing systems. Applications and theory of Petri nets. Lecture notes in computer science Vol. 1420 (1998) 64-83
10. Ghaffari A., Rezg N., and Xie X.L. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation 19 1 (2003) 137-142
11. Hu H.S., Zhou M.C., and Li Z.W. Liveness enforcing supervision of video streaming systems using non-sequential Petri nets. IEEE Transactions on Multimedia 11 8 (2009) 1446-1456
12. Huang Y.S. Design of deadlock prevention supervisors using Petri nets. International Journal of Advanced Manufacturing Technology 35 3-4 (2007) 349-362
13. Huang, Y. S., Jeng, M. D., Xie, X. L., & Chung, S. L. (2001). A deadlock prevention policy for flexible manufacturing systems using siphons. In Proceedings of the IEEE international conference on robotics and automation. Vol. 1 (pp. 541-546).
14. Jeng M.D., and DiCesare F. Synthesis using resource control nets for modeling shared-resource systems. IEEE Transactions on Robotics and Automation 11 3 (1995) 317-327
15. Lewis F.L., Gürel A., Bogdan S., Doǧanalp A., and Pastravanu O.C. Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems. Automatica 34 9 (1998) 1083-1100
16. Li Z.W., Hu H.S., and Wang A.R. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C 37 4 (2007) 517-526
17. Li Z.W., and Zhou M.C. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 34 1 (2004) 38-51
18. Li Z.W., and Zhou M.C. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics 2 4 (2006) 313-325
19. Li Z.W., Zhou M.C., and Wu N.Q. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C 38 2 (2008) 173-188
20. Li Z.W., and Zhou M.C. Deadlock resolution in automated manufacturing systems: a novel Petri net approach (2009), Springer, New York
21. Park J., and Reveliotis S.A. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control 46 10 (2001) 1572-1583
22. Tricas, F., García-Vallés, F., Colom, J. M., & Ezpeleta, J. (1998). A structural approach to the problem of deadlock prevention in processes with shared resources. In Proceedings of 4th workshop on discrete event systems (pp. 273-278).
23. Tricas, F., García-Vallés, F., Colom, J. M., & Ezpeleta, J. (2000). An iterative method for deadlock prevention in FMS. In Proceedings of 5th workshop on discrete event systems (pp. 139-148).
24. Tricas, F., & Martínez, J. (1995). An extension of the liveness theory for concurrent sequential processes competing for shared resources. In Proceedings of IEEE international conference on systems, man, and cybernetics. Vol. 4 (pp. 3035-3040).
25. Uzam M. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology 19 3 (2002) 192-208
26. Uzam M., and Zhou M.C. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research 44 10 (2006) 1987-2030
27. Wang A.R., Li Z.W., Jia J.Y., and Zhou M.C. An efficient algorithm to find elementary siphons in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39 4 (2009) 912-923
28. Wu N.Q. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on System, Man, and Cybernetics, Part C 29 2 (1999) 192-204
29. Wu N.Q., and Zhou M.C. System modeling and control with resource-oriented Petri nets (2010), CRC Press, New York
30. Wysk R.A., Yang N.S., and Joshi S. Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation 7 6 (1991) 853-859
31. Xing, K. Y., & Hu, B. S. (2005). Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems. In Proceedings of IEEE international conference on systems, man, and cybernetics (pp. 282-287).
32. Xing K.Y., Hu B.S., and Chen H.X. Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control 41 2 (1996) 289-295
33. Xing K.Y., Zhou M.C., Yang X., and Tian F. Optimal Petri net-based polynomial-complexity deadlock avoidance polices for automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39 1 (2009) 188-199
34. Zhou M.C., and DiCesare F. Parallel and sequential exclusions for Petri net modeling for manufacturing systems. IEEE Transactions on Robotics and Automation 7 4 (1991) 515-527
35. Zhou M.C., and DiCesare F. A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation 8 3 (1992) 350-361
36. Zhou M.C., and DiCesare F. Petri net synthesis for discrete event control of manufacturing systems (1993), Kluwer Academic Publishers, Boston
37. In: Zhou M.C., and Fanti M.P. (Eds). Deadlock resolution in computer-integrated systems (2005), Marcel Dekker, New York
38. Zouari, B., & Barkaoui, K. (2003). Parameterized supervisor synthesis for a modular class of discrete event systems. In Proceedings of IEEE international conference on systems, man, and cybernetics (pp. 1874-1879).