Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 35, Issue 6, 2005, Pages 1193-1202

  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 guided vehicle; Automated manufacturing; Deadlock avoidance; Petri nets

Indexed keywords

AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; MATHEMATICAL MODELS; PETRI NETS; THEOREM PROVING;

AUTOMATED GUIDED VEHICLE; AUTOMATED MANUFACTURING; DEADLOCK AVOIDANCE; MATERIAL HANDLING SYSTEM;

COMPUTER AIDED MANUFACTURING;

ARTICLE; ARTIFACT; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; EQUIPMENT; INSTRUMENTATION; METHODOLOGY; MOTOR VEHICLE; ROBOTICS; SYSTEM ANALYSIS; THEORETICAL MODEL;

ARTIFACTS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; EQUIPMENT FAILURE; EQUIPMENT FAILURE ANALYSIS; MODELS, THEORETICAL; MOTOR VEHICLES; ROBOTICS; SYSTEMS INTEGRATION;

EID: 29144513578     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2005.850141     Document Type: Article

References (38)

1. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
2. M. Dotoli and M. P. Fanti, "Colored timed Petri net model for real-time control of automated guided vehicle systems," Int. J. Product. Res., vol. 42, no. 9, pp. 1787-1814, 2004.
3. 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.
4. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
5. M. P. Fanti, B. Maione, G. Piscitelli, and B. Turchiano, "System approach to design generic software for real-time control of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 26, no. 2, pp. 190-202, 1996.
6. M.-D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared resource systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 317-327, Jun. 1995.
7. K. Jensen, "Colored Petri nets and the invariant method," Theoret. Comput. Sci., vol. 14, pp. 317-336, 1984.
8. C. W. Kim and J. M. A. Tanchoco, "Conflict-free shortest bi-directional AGV routing," Int. J. Product. Res., vol. 29, pp. 2377-2391, 1991.
9. G. A. Koff, "Automatic guided vehicle: application, control, and planning," Material Flows, vol. 4, pp. 3-16, 1987.
10. I. Koh and F. DiCesare, "Modular transformation methods for generalized Petri nets and their applications in manufacturing automation," IEEE Trans. Syst., Man, Cybern., vol. 21, no. 6, pp. 963-973, Nov./Dec. 1991.
11. M. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Autom., vol. 15, no. 3, pp. 497-509, Jun. 1999.
12. M. Lawley and S. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: hard and easy cases," Int. J. Flexible Manufact. Syst., vol. 13, no. 4, pp. 385-404, 2001.
13. 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.
14. Y. T. Leung and G. Shen, "Resolving deadlocks in flexible manufacturing cells," J. Manufact. Syst., vol. 12, no. 4, pp. 291-304, 1993.
15. J. Malmbog, "A model for the design of zone-control automated guided vehicle systems," Int. J. Product. Res., vol. 28, pp. 1741-1758, 1990.
16. T. Murata, "Petri nets: Properties, analysis, and application," Proc. IEEE, vol. 77, no. 4, pp. 541-579, Apr. 1989.
17. J. Park, S. Reveliotis, D. Bodner, and L. McGinnis, "A distributed event-driven control architecture for flexibly automated manufacturing systems," Int. J. Comput. Integrated Manufact., vol. 15, no. 2, pp. 109-126, 2002.
18. J. M. Proth and X. Xie, Petri Nets. New York: Wiley, 1996.
19. S. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies in automated manufacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 5, pp. 1-13, Oct. 1996.
20. S. Reveliotis, "Conflict resolution in AGV systems," IIE Trans., vol. 32, no. 7, pp. 647-659, 2000.
21. N. Viswanadham and Y. Narahari, "Colored Petri net models for automated manufacturing systems," in Proc. IEEE Conf. Robotics and Automation, Raleigh, NC, 1987, pp. 1985-1990.
22. 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, pp. 713-723, 1990.
23. F.-Y. Wang, K. J. Kyriakopoulos, A. Tsolkas, and G. N. Saridis, "A Petri-net coordination model for an intelligent mobile robot," IEEE Trans. Syst., Man, Cybern., vol. 21, no. 4, pp. 777-789, 1991.
24. F.-Y. Wang, K. Gildea, H. Jungnitz, and D. D. Chen, "Protocol design and performance analysis for manufacturing message specification: a Petri net approach," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 641-653, Nov./Dec. 1994.
25. 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. 192-204, 1999.
26. N. Q. Wu and M. C. Zhou, "Resource-oriented Petri nets for deadlock avoidance in automated manufacturing," in Proc. 2000 IEEE Intl. Conf. Robotics and Automation, San Francisco, CA, Apr. 2000, pp. 3377-3382.
27. 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.
28. N. Q. Wu and M. C. Zhou, "AGV routing for resolution in AGV systems," in Proc. 2003 IEEE Int. Conf. Robotics and Automation, Taipei, Taiwan, May 2003, pp. 1428-1433.
29. N. Q. Wu and M. C. Zhou, "Modeling and deadlock control of automated guided vehicle systems," IEEE/ASME Trans. Mechatronics, vol. 9, no. 1, pp. 50-57, Mar. 2004.
30. 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.
31. 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.
32. M.-S. Yeh and W.-C. Yeh, "Deadlock prediction and avoidance for zone-control AGVS," Int. J. Product. Res., vol. 36, no. 10, pp. 2879-2889, 1998.
33. L. Zeng, H.-P. Wang, and S. Jin, "Conflict detection of automated guided vehicles: a Petri net approach," Int. J. Product. Res., vol. 29, pp. 865-879, 1991.
34. M. C. Zhou and F. DiCesare, "A Petri net design method for automated manufacturing systems with shared resources," in Proc. IEEE Cong Robotics and Automation, Cincinnati, OH, 1990, pp. 526-531.
35. 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, no. 4, pp. 515-527, Aug. 1991.
36. 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.
37. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, 2005.
38. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.