One-step look-ahead maximally permissive deadlock control of AMS by using petri nets

Transactions on Embedded Computing Systems

Volumn 12, Issue 1, 2013, Pages

  Wu, Naiqi ^a   Zhou, Mengchu ^b,c   Hu, Gang ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b Department of Computer Science and Technology   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated manufacturing systems (AMS); Deadlock avoidance; Discrete event systems; Petri net; Supervisory control

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; CONTROL POLICY; DEADLOCK AVOIDANCE; DEADLOCK CONTROL; DEADLOCK CONTROL POLICY; LOOK-AHEAD; SUFFICIENT CONDITIONS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION; PRODUCTION ENGINEERING;

PETRI NETS;

EID: 84873617864     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2406336.2406346     Document Type: Article

References (52)

1. Abdallah, B. and Elmaraghy, M. A. 1998. Deadlock prevention and avoidance in FMS: A Petri net based approach. Int. J. Adv. Manuf. Technol. 14, 705-715.
2. Banaszak, Z. A. and Krogh, B. H. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Rob. Autom. 6, 724-734.
3. Chao, Y. and Li, Z. W. 2009. Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons. IET Control Theory Appl. 3, 391-403.
4. Cormen, T. H., Leiserson, C. E., and Rives, R. E. 1990. Introduction to Algorithms. MIT Press/McGraw-Hill, New York.
5. Ezpeleta, J. and Recalde, L. 2004. A deadlock avoidance approach for nonsequential resource allocation systems. IEEE Trans. Syst. Man Cybern. Part A 34, 93-101.
6. Ezpeleta, J., Colom, J. M., and Martinez, J. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Rob. Autom. 11, 171-184.
7. Fanti, M. P. 2002. Event-based controller to avoid deadlock and collisions in zone control AGVS. Int. J. Prod. Res. 40, 1453-1478.
8. Fanti, M. P., Maione, B., Mascolo, S., and Turchiano, B. 1997. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. Rob. Autom. 13, 347-363.
9. Fanti, M. P., Giua, A., and Seatzu, C. 2006. Monitor design for colored Petri nets: An application to deadlock prevention in railway networks. Control Eng. Pract. 14, 1231-1247.
10. Holt, R. C. 1972. Some deadlock properties of computer systems. ACM Comput. Surv. 6, 179-196.
11. Hsieh, F.-S. 2004. Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Trans. Syst. Man Cybern. Part A 34, 65-79.
12. Hu, H., Zhou, M. C., and Li, Z. W. 2009. Liveness enforcing supervision of video streaming systems using non-sequential Petri nets. IEEE Trans. Multimedia 11, 1446-1456.
13. Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, D. H. 2006. Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 36, 1248-1256.
14. Jeng, M.-D. and Dicesare, F. 1995. Synthesis using resource control nets for modeling shared resource systems. IEEE Trans. Rob. Autom. 11, 317-327.
15. Jensen, K. 1984. Colored Petri nets and the invariant method. Theor. Comput. Sci. 14, 317-336.
16. Lawley, M. 1999. Deadlock avoidance for production systems with flexible routing. IEEE Trans. Rob. Autom. 15, 497-509.
17. Lawley, M. and Reveliotis, S. 2001. Deadlock avoidance for sequential resource allocation systems: Hard and easy cases. Int. J. Flexible Manuf. Syst. 13, 385-404.
18. Lee, C.-C. and Lin, J. T. 1995. Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems. Int. J. Prod. Res. 33, 3249-3265.
19. Leung, Y. T. and Shen, G. 1993. Resolving deadlocks in flexible manufacturing cells. J. Manuf. Syst. 12, 291-304.
20. Lewis, L., Gurel, A., Bogdan, S., Doganalp, A., and Pastravanu, O. 1998. Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems. Automatica 34, 1083-1100.
21. Li, Z. W. and Shpitalni, M. 2009. Smart deadlock prevention policy for flexible manufacturing systems using Petri nets. IET Control Theory Appl. 3, 362-374.
22. Li, Z. W. and Zhao, M. 2008. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst. Man Cybern. Part A 38, 369-384.
23. Li, Z. W. and Zhou, M. C. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34, 38-51.
24. Li, Z. W. and Zhou, M. C. 2006. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans. Ind. Informatics 2, 313-325.
25. Li, Z. W. and Zhou, M. C. 2008a. On siphon computation for deadlock control in a class of Petri nets. IEEE Trans. Syst. Man Cybern. Part A 38, 667-679.
26. Li, Z. W. and Zhou, M. C. 2008b. Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans. Syst. Man Cybern. Part A 38, 133-148.
27. Li, Z. W., Zhou, M. C., and Jeng, M. D. 2008a. 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, 182-188.
28. Li, Z. W., Zhou, M. C., and Wu, N. Q. 2008b. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part C 38, 173-188.
29. Li, Z. W., Zhu, S., and Zhou, M. C. 2009. Application of a divide and conquer strategy to deadlock prevention in flexible manufacturing systems based on Petri nets. IEEE Trans. Syst. Man Cybern. Part C 39, 156-169.
30. Murata, T. 1989. Petri nets: Properties, analysis, and application. Proc. IEEE 77, 541-579.
31. Park, J. and Reveliotis, S. A. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Autom. Control 46, 1572-1583.
32. Reveliotis, S. 2000. Conflict resolution in AGV systems. IIE Trans. 32, 647-659.
33. Reveliotis, S., Lawley, M., and Ferreira, P. 1997. Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Autom. Control 42, 1344-1357.
34. Roszkowska, E. 2004. Supervisory control for deadlock avoidance in compound processes. IEEE Trans. Syst. Man Cybern. Part A 34, 52-64.
35. Uzam, M. and Zhou, M. C. 2007. An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 37, 362-371.
36. Viswanadham, N., Narahari, Y., and Johnson, T. L. 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Rob. Autom. 6, 713-723.
37. Wang, A. R., Li, Z. W., Jia, J. Y., and Zhou, M. C. 2009. An effective algorithm to find elementary siphons in a class of Petri nets. IEEE Trans. Syst. Man Cybern. Part A 39, 912-923.
38. Wu, N. Q. 1999. 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 29, 192-204.
39. Wu, N. Q. and Zhou, M. C. 2001. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model. IEEE Trans. Rob. Autom. 17, 658-669.
40. Wu, N. Q. and Zhou, M. C. 2004. Modeling and deadlock control of automated guided vehicle systems. IEEE/ASME Trans. Mechatronics 9, 50-57.
41. Wu, N. Q. and Zhou, M. C. 2005. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Trans. Syst. Man Cybern. Part B 35, 1193-1202.
42. Wu, N. Q. and Zhou, M. C 2007a. Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets. Int. J. Prod. Res. 45, 3439-3456.
43. Wu, N. Q. and Zhou, M. C. 2007b. Shortest routing of bi-directional automated guided vehicles avoiding deadlock and blocking. IEEE/ASME Trans. Mechatronics 12, 63-72.
44. Wu, N. Q. and Zhou, M. C. 2007c. Deadlock resolution in automated manufacturing systems with robots. IEEE Trans. Autom. Sci. Eng. 4, 474-480.
45. Wu, N. Q. and Zhou, M. C. 2010. Process vs resource-oriented Petri net modeling of automated manufacturing systems. Asian J. Control 12, 267-280.
46. Wu, N. Q. Zhou, M. C., and Li, Z. W. 2008. Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Trans. Syst. Man Cybern. Part A 38, 56-69.
47. Wysk, R. A., Yang, N. S., and Joshi, S. 1991. Detection of deadlocks in flexible manufacturing cells. IEEE Trans. Rob. Autom. 7, 853-879.
48. Yan, M. M., Li, Z. W., Wei, N., and Zhao, M. 2009. A deadlock prevention policy for a class of Petri nets S3PMR. J. Inf. Sci. Eng. 25, 167-183.
49. Zhou, M. C. and Dicesare, F. 1991. Parallel and sequential exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Trans. Rob. Autom. 7, 515-527.
50. Zhou, M. C. and Venkatesh, K. 1998. Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific, Singapore.
51. Zhou, M. C., Dicesare, F., and Desrochers, A. 1992a. A hybrid methodology for synthesis of Petri nets models for manufacturing systems. IEEE Trans. Rob. Autom. 8, 50-361.
52. Zhou, M. C., Dicesare, F., and Rudolph, D. 1992b. Design and implementation of a Petri net based supervisor for a flexible manufacturing System. Automatica 28, 1199-1208.