Deadlock resolution in automated manufacturing systems with robots

IEEE Transactions on Automation Science and Engineering

Volumn 4, Issue 3, 2007, Pages 474-480

  Wu, Naiqi ^a   Zhou, MengChu ^b,c  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c INSTITUTE OF AUTOMATION   (China)

Author keywords

Automated manufacturing systems (AMS); Deadlock avoidance; Modeling and control; Petri net

Indexed keywords

COMPUTER SYSTEM RECOVERY; MATERIALS HANDLING EQUIPMENT; OPTIMIZATION; PETRI NETS; PROBLEM SOLVING; ROBOTIC ASSEMBLY;

AUTOMATED MANUFACTURING SYSTEMS (AMS); DEADLOCK AVOIDANCE; DEADLOCK CONTROL POLICIES; DEADLOCK RESOLUTION;

PRODUCTION ENGINEERING;

EID: 34547426517     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2006.888049     Document Type: Article

References (24)

1. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 171-184, Apr. 1995.
2. M. P. Fanti, "Event-based controller to avoid deadlock and collisions in zone control AGVS," Int. J. Product. Res., vol. 40, no. 6, pp. 1453-1478, 2002.
3. M. P. Fanti and M. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol. 34, no. 1, pp. 5-22, Jan. 2004.
4. K. Jensen, "Colored Petri nets and the invariant method," Theor. Comput. Sci., vol. 14, pp. 317-336, 1984.
5. W. Kocay and D. L. Kreher, Graphs, Algorithms and Optimization. Boca Raton, FL: CRC, 2005.
6. M. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Autom., vol. 15, no. 3, pp. 497-509, Jun. 1999.
7. M. Lawley and S. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: hard and easy cases," Int. J. Flexible Manuf. Syst., vol. 13, no. 4, pp. 385-404, 2001.
8. C.-C. Lee and J. T. Lin, "Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems," Int. J. Product. Res., vol. 33, pp. 3249-3265, 1995.
9. Y. T. Leung and G. Shen, "Resolving deadlocks in flexible manufacturing cells," J. Manuf. Syst., vol. 12, no. 4, pp. 291-304, 1993.
10. Z. W. Li and A. R. Wang, "A Petri nets based deadlock prevention approach for flexible manufacturing systems," Acta Automatica Sinica, vol. 29, no. 5, pp. 733-740, 2003.
11. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Mar. 2004.
12. T. Murata, "Petri nets: Properties, analysis, and application," Proc. IEEE, vol. 77, pp. 541-579, 1989.
13. S. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies in automated manufacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 845-857, Dec. 1996.
14. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
15. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst., Man, Cybern, C, Appl. Rev., vol. 29, no. 2, pp. 182-204, May 1999.
16. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, Oct. 2001,.
17. _, "Modeling and deadlock control of automated guided vehicle systems," IEEE/ASME Trans. Mech., vol. 9, no. 1, pp. 50-57, 2004.
18. _, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 35, no. 6, pp. 1193-1202, Dec. 2005.
19. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Autom., vol. 7, no. 6, pp. 853-879, Dec. 1991.
20. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, vol. 41, no. 2, pp. 289-295, Feb. 1996.
21. M. C. Zhou and F. DiCesare, "Parallel and sequential exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, pp. 515-527, Aug. 1991.
22. M. C. Zhou, F. DiCesare, and A. Desrochers, "A hybrid methodology for synthesis of Petri nets models for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
23. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, 2004.
24. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.