A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models

Asian Journal of Control

Volumn 14, Issue 1, 2012, Pages 217-229

  Zhu, Rongming ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

flexible manufacturing system; optimal liveness enforcing supervisor; Petri net; siphon; uncontrollable transition

Indexed keywords

INDUSTRIAL RESEARCH; LINEAR PROGRAMMING; PETRI NETS; SIPHONS; SUPERVISORY PERSONNEL;

DEADLOCK CONTROL POLICY; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; LINEAR PROGRAMMING TECHNIQUES; MATHEMATICAL TOOLS; OPTIMAL LIVENESS-ENFORCING SUPERVISORS; PRODUCTION PROCESS; UNCONTROLLABLE TRANSITION;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84856267933     PISSN: 15618625     EISSN: 19346093     Source Type: Journal    
DOI: 10.1002/asjc.369     Document Type: Article

References (46)

1. Murata, T., "Petri nets: properties, analysis, and applications", Proc. IEEE, Vol. 77, pp. 541-580 (1989).
2. Li, Z. W., and, M. C. Zhou, "Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets", IEEE Trans. Syst. Man Cybern. Part C, Vol. 40, No. 3, pp. 330-340 (2010).
3. Li, Z. W., S. Zhu, and, M. C. Zhou, "A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems", IEEE Trans. Syst. Man Cybern., Vol. 39, No. 2, pp. 156-169 (2009).
4. Wang, A. R., Z. W. Li, J. Y. Jian, and, M. C. Zhou, "An effective algorithm to find elementary siphons in a class of Petri nets", IEEE Trans. Syst. Man Cybern. Part A: Systems and Humans, Vol. 39, No. 4, pp. 912-923 (2009).
5. Hu, H., M. Zhou, and, Z. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets", IEEE Trans. Autom. Sci. Eng., Vol. 7, No. 3, pp. 549-557 (2010).
6. Zhong, C. F., and, Z. W. Li, "Design of liveness-enforcing supervisors via transforming plant Petri net models of FMS", Asian J. Control, Vol. 12, No. 3, pp. 240-252 (2010).
7. Guo, J. W., and, Z. W. Li, "A deadlock prevention approach for a class of timed Petri nets using elementary siphons", Asian J. Control, Vol. 12, No. 3, pp. 347-363 (2010).
8. Liu, G. Y., Z. W. Li, and, C. F. Zhong, "A new controllability condition for siphons in a class of generalized Petri nets", IET Control Theory Appl., Vol. 4, No. 5, pp. 854-864 (2010).
9. Liu, D., Z. W. Li, and, M. C. Zhou, "Liveness of an extended S3PR", Automatica, Vol. 46, No. 6, pp. 1008-1018 (2010).
10. Li, Z. W., M. Uzam, and, M. C. Zhou, "Deadlock control of concurrent manufacturing processes sharing finite resources", Int. J. Adv. Manuf. Technol., Vol. 38, No. 7-8, pp. 787-800 (2008).
11. Hsien, F. S., and, S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems", IEEE Trans. Robot. Autom., Vol. 10, pp. 196-209 (1994).
12. Wu, N. Q., "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model", IEEE Trans. Syst. Man Cybern. Part C, Vol. 29, pp. 192-204 (1999).
13. Wu, N. Q., and, M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems", IEEE Trans. Robot. Autom., Vol. 17, pp. 657-668 (2001).
14. Wu, N. Q., and, M. C. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles", IEEE Trans. Syst. Man Cybern. Part B, Vol. 35, pp. 1193-1202 (2005).
15. Ezpeleta, J., J. M. Colom, and, J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Trans. Robot. Autom., Vol. 11, pp. 173-184 (1995).
16. Li, Z. W., and, M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets", IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 3, pp. 667-679 (2008). (Pubitemid 351649896)
17. Li, Z. W., and, M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets", IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 2, pp. 369-384 (2008). (Pubitemid 351425590)
18. Li, Z. W., and, M. C. Zhou, "A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems", IEEE Trans. Syst. Man Cybern. Part C, Vol. 38, No. 2, pp. 172-188 (2008).
19. Li, Z. W., and, M. C. Zhou, "Control of elementary and dependent siphons of Petri nets and their application", IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 1, pp. 133-148 (2008).
20. Xing, K. Y., B. S. Hu, and, H. X. Chen, "Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources", IEEE Trans. Autom. Control, Vol. 41, pp. 289-295 (1996).
21. Wei, N., and, Z. W. Li, "On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions", Int. J. Adv. Manuf. Technol., Vol. 38, No. 1-2, pp. 195-204 (2008).
22. Chu, F., and, X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming", IEEE Trans. Robot. Autom., Vol. 13, pp. 793-804 (1997). (Pubitemid 127770479)
23. Chao, Y., and, Z. W. Li, "Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons", IET Control Theory Appl., Vol. 3, No. 4, pp. 391-403 (2009).
24. Hu, H. S., M. C. Zhou, and, Z. W. Li, "Liveness enforcing supervision of video streaming systems using non-sequential Petri nets", IEEE Trans. Multimedia, Vol. 11, No. 8, pp. 1457-1465 (2009).
25. Hu, H. S., and, Z. W. Li, "Liveness enforcing supervision in video streaming systems using siphons", J. Inf. Sci. Eng., Vol. 25, No. 6, pp. 1863-1884 (2009).
26. Hu, H. S., and, Z. W. Li, "Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs", Comput. Ind. Eng., Vol. 57, No. 4, pp. 1168-1181 (2009).
27. Hu, H. S., and, Z. W. Li, "Efficient deadlock prevention policy in automated manufacturing systems using shared resources", Int. J. Adv. Manuf. Technol., Vol. 40, No. 5-6, pp. 566-571 (2009).
28. Hu, H. S., and, Z. W. Li, "Modeling and scheduling for manufacturing grid workflows using timed Petri nets", Int. J. Adv. Manuf. Technol., Vol. 42, No. 5-6, pp. 553-568 (2009).
29. Hu, H. S., and, Z. W. Li, "An optimal-elementary-siphons based iterative deadlock prevention policy for flexible manufacturing systems", Int. J. Adv. Manuf. Technol., Vol. 38, No. 3-4, pp. 309-320 (2008).
30. Huang, Y. S., M. D. Jeng, X. L. Xie, and, S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons", Int. J. Prod. Res., Vol. 39, pp. 283-305 (2001).
31. Huang, Y. S., "Deadlock prevention for sequence resource allocation systems", J. Inf. Sci. Eng., Vol. 23, pp. 215-231 (2007).
32. Huang, Y. S., M. D. Jeng, X. L. Xie, and, D. H. Chung, "Siphon-based deadlock prevention policy for flexible manufacturing systems", IEEE Trans. Syst. Man Cybern. Part A, Vol. 36, pp. 1248-1256 (2006).
33. Iordache, M. V., J. O. Moody, and, P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets", IEEE Trans. Robot. Autom., Vol. 18, pp. 59-68 (2002). (Pubitemid 34414686)
34. Li, Z. W., and, M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems", IEEE Trans. Syst. Man Cybern. Part A, Vol. 34, pp. 38-51 (2004).
35. Li, Z. W., and, M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets", IEEE Trans. Ind. Inform., Vol. 2, No. 4, pp. 313-325 (2006).
36. Li, Z. W., H. S. Hu, and, A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets", IEEE Trans. Syst. Man Cybern. Part C, Vol. 37, pp. 517-526 (2007). (Pubitemid 47061954)
37. Park, J., and, S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings", IEEE Trans. Autom. Control, Vol. 46, pp. 1572-1583 (2001). (Pubitemid 33018223)
38. Tricas, F., F García-Vallés, J. M. Colom, and, J. Ezpeleta, " An iterative method for deadlock prevention in FMS," Proc. 5th Workshop Discret. Event Syst., Ghent, Belgium, pp. 139-148 (2000).
39. 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., Vol. 19, pp. 192-208 (2002). (Pubitemid 34268717)
40. Uzam, M., Z. W. Li, and, M. C. Zhou, "Identification and elimination of redundant control places in Petri net based liveness-enforcing supervisors of FMS", Int. J. Adv. Manuf. Technol., Vol. 35, No. 1-2, pp. 150-168 (2007). (Pubitemid 47609375)
41. Ramadge, P. J., and, W. M. Wonham, "The control of discrete event systems", Proc. IEEE, Vol. 77, pp. 81-98 (1989).
42. Li, Z. W., and, M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets", IEEE Trans. Syst. Man Cybern. Part A, Vol. 36, No. 6, pp. 1127-1129 (2006).
43. Badouel, E., and, P. Darondeau, " Theory of regions," Lectures on Petri Nets I: Basic Models, LNCS, Springer, Berlin, Germany, Vol. 1491, pp. 529-586 (1998). (Pubitemid 128165820)
44. Li, Z. W., M. C. Zhou, and, M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions", IEEE Trans. Autom. Sci. Eng., Vol. 5, No. 1, pp. 182-188 (2008).
45. Lindo, Premier optimization modeling tools.
46. Li, Z. W., and, M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, Berlin, Germany (2009).