Petri net decomposition approach for dispatching and conflict-free routing of bidirectional automated guided vehicle systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 42, Issue 5, 2012, Pages 1230-1243

  Nishi, Tatsushi ^a   Tanaka, Yuki ^a  

^a OSAKA UNIVERSITY   (Japan)

Author keywords

Automated guided vehicles (AGVs); conflict free routing; deadlock avoidance; decomposition; optimization; Petri nets

Indexed keywords

AUTOMATED GUIDED VEHICLE SYSTEM; AUTOMATED GUIDED VEHICLES; COMPUTATIONAL RESULTS; CONFLICT FREE; DEADLOCK AVOIDANCE; DEADLOCK AVOIDANCE ALGORITHMS; DECOMPOSITION APPROACH; DYNAMIC ENVIRONMENTS; DYNAMIC PROBLEM; FIRING SEQUENCES; PENALTY FUNCTION METHODS; STATIC PROBLEMS; SUBNETS; TIMED PETRI NET;

DECOMPOSITION; MOBILE ROBOTS; OPTIMIZATION; PETRI NETS;

PROBLEM SOLVING;

EID: 84865439302     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2183353     Document Type: Article

References (47)

1. L. Breton, S. Maza, and P. Castagna, "A multi-agent based conflict-free routing approach of bi-directional automated guided vehicles," in Proc. Amer. Control Conf., 2006, pp. 2825-2830. (Pubitemid 46531248)
2. A. I. Corréa, A. Langevin, and L. M. Rousseau, "Scheduling and routing of automated guided vehicles: A hybrid approach," Comput. Oper. Res., vol. 34, no. 6, pp. 1688-1707, Jun. 2007. (Pubitemid 44556970)
3. M. Dotoli and M. P. Fanti, "Coloured timed Petri net model for real-time control of automated guided vehicle systems," Int. J. Production Res., vol. 42, no. 9, pp. 1787-1814, 2004.
4. G. Desaulniers, A. Langevin, and D. Riopel, "Dispatching and conflictfree routing of automated guided vehicles: An exact approach," Int. J. Flexible Manuf. Syst., vol. 15, no. 4, pp. 309-301, Oct. 2003.
5. K. A. Dowsland and A. M. Greaves, "Collision avoidance in bi-directional AGV," J. Opl. Res. Soc., vol. 45, no. 7, pp. 817-826, 1994.
6. J. Ezpeleta, J. M. Colom, and J.Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, no. 2, pp. 173-184, Apr. 1995.
7. M. P. Fanti, "Event-based controller to avoid deadlock and collision in zone-control AGVS," Int. J. Production Res., vol. 40, no. 6, pp. 1453- 1478, 2002. (Pubitemid 34593782)
8. M. P. Fanti and B. Maione, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997. (Pubitemid 127763296)
9. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
10. A. Giua and C. Seazu, "Modeling and supervisory control of railway networks using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 3, pp. 431-445, Jul. 2008.
11. D. W. He, B. Strege, H. Tolle, and A. Kusiak, "Decomposition in automatic generation of Petri nets for manufacturing system control and engineering," Int. J. Production Res., vol. 38, no. 6, pp. 1437-1457, 2000. (Pubitemid 35395526)
12. Y. C. Ho and T. W. Liao, "Zone design and control for vehicle collision prevention and load balancing in a zone control AGV system," Comput. Ind. Eng., vol. 56, no. 1, pp. 417-432, Feb. 2009.
13. C. W. Kim and J. M. A. Tanchoco, "Conflict-free shortest-time bidirectional AGV routeing," Int. J. Production Res., vol. 29, no. 12, pp. 2377- 2391, 1991.
14. S. H. Kim and H. Hwang, "Adaptive dispatching algorithm for automated guided vehicles based on an evolutional process," Int. J. Production Econ., vol. 60/61, no. 20, pp. 465-472, Apr. 1999.
15. A. K. Kulatunga, B. T. Skinner, D. L. Liu, and H. T. Nguyen, "Distributed simultaneous task allocation and motion coordination of autonomous vehicles using a parallel computing cluster," Robot. Welding, Intell. Autom., vol. 362, LNCIS, pp. 409-420, 2007.
16. T. Le-Anh and M. B. M. de Koster, "A review of design and control of automated guided vehicle systems," Eur. J. Oper. Res., vol. 171, no. 1, pp. 1-23, 2006. (Pubitemid 41690023)
17. D. Y. Lee and F. DiCesare, "Scheduling flexible manufacturing systems using Petri nets and heuristic search," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 123-132, Apr. 1994.
18. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
19. T. Nishi, M. Ando, and M. Konishi, "Distributed route planning for multiple mobile robots using an augmented Lagrangian decomposition technique," IEEE Trans. Robot., vol. 21, no. 6, pp. 1191-1200, Dec. 2005. (Pubitemid 43033757)
20. T. Nishi and R. Maeno, "Petri net decomposition approach to optimization of route planning problems for AGV systems," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 523-537, Jul. 2010.
21. T. Nishi, S. Morinaka, and M. Konishi, "A distributed routing method for AGVs under motion delay disturbance," Robot. Comput.-Integr. Manuf., vol. 23, no. 5, pp. 517-532, Oct. 2007.
22. C. Oboth, R. Batta, andM. Karwan, "Dynamic conflict-free routing of automated guided vehicle," Int. J. Production Res., vol. 37, no. 9, pp. 2003- 2030, 1999.
23. L. Qiu andW. J. Hsu, "A bi-directional path layout for conflict-free routing of AGVs," Int. J. Production Res., vol. 38, no. 10, pp. 2177-2195, 2001. (Pubitemid 35165588)
24. S. A. Reveliotis, "Conflict resolution in AGV systems," IIE Trans., vol. 32, no. 7, pp. 647-659, Jul. 2000.
25. E. Roszkowska and S. A. Reveliotis, "On the liveness of guidepath-based, zone-controlled dynamically routed, closed traffic systems," IEEE Trans. Autom. Control, vol. 53, no. 7, pp. 1689-1695, Aug. 2010.
26. H. Shiizuka and M. Suzuki, "Modeling of AGV network in flexible manufacturing systems," Comput. Ind. Eng., vol. 27, no. 1-4, pp. 81-86, Sep. 1994.
27. T. Smith and S. Sarin, "A program for dispatching and routing AGVs," Comput. Ind. Eng., vol. 23, no. 1-4, pp. 187-190, Nov. 1992.
28. S. H. Teng and J. Zhang, "A Petri net-based decomposition approach in modelling of manufacturing systems," Int. J. Production Res., vol. 31, no. 6, pp. 1423-1439, 1993.
29. S. Tunali, "Evaluation of alternate routing policies in scheduling a jobshop type FMS," Comp. Ind. Eng., vol. 32, no. 2, pp. 243-250, Apr. 1997. (Pubitemid 127406310)
30. D. Y. Liao, M. Jeng, and M. Zhou, "Application of Petri Nets and Lagrangian relaxation to schedule automatic material-handling vehicles in 300-mm semiconductor manufacturing," IEEE Trans. Syst. Man. Cybern., vol. 37, no. 4, pp. 504-516, Jul. 2007. (Pubitemid 47061953)
31. I. F. A. Vis, "Survey of research in the design and control of automated guided systems," Eur. J. Oper. Res., vol. 170, no. 3, pp. 677-709, May 2006. (Pubitemid 41607632)
32. T.Watanabe, Y. Mizobata, and K. Onaga, "Time complexity of legal firing sequence and related problems of Petri nets," Trans. IEICE, vol. E-72, no. 12, pp. 1400-1409, 1989.
33. Y. Tanaka, T. Nishi, and M. Inuiguchi, "Dynamic optimization of simultaneous dispatching and conflict-free routing for automated guided vehicles - Petri net decomposition Approach - ," J. Adv. Mech. Des., Syst., Manuf., vol. 4, no. 3, pp. 701-715, 2010.
34. 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.
35. N. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net models," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 29, no. 2, pp. 192-204, May 1999.
36. N. Wu and M. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, Oct. 2001. (Pubitemid 33137781)
37. N.Wu andM. Zhou, "Deadlock avoidance in an automated guided vehicle system using a coloured Petri net model," Int. J. Production Res., vol. 40, no. 1, pp. 223-238, 2002. (Pubitemid 34593854)
38. N. Wu and M. Zhou, "Modeling and deadlock control of automated guided vehicle systems," IEEE/ASME Trans. Mechatron., vol. 9, no. 1, pp. 50-57, Mar. 2004.
39. N. Wu and M. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst. Man. Cybern., vol. 35, no. 6, pp. 1193-1202, Dec. 2005. (Pubitemid 41800419)
40. N. Wu and M. Zhou, "Shortest routing of bidirectional automated guided vehicles avoiding deadlock and blocking," IEEE/ASME Trans. Mechatron., vol. 12, no. 1, pp. 63-72, Feb. 2007. (Pubitemid 46444219)
41. N. Wu and M. Zhou, "Process vs resource-oriented Petri net modeling of automated manufacturing systems," Asian J. Control, vol. 12, no. 3, pp. 267-280, May 2010.
42. N. Wu and M. Zhou, System Modeling and Control With Resource- Oriented Petri Nets. New York: CRC Press, 2010.
43. M. S. Yeh and W. C. Yeh, "Deadlock prediction and avoidance for zone control AGVS," Int. J. Production Res., vol. 36, no. 10, pp. 2879-2889, 1998.
44. H. Yu, A. Reyes, S. Cang, and S. Lloyd, "Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems - Part II. Heuristic hybrid search," Comput. Ind. Eng., vol. 44, no. 4, pp. 545-566, Apr. 2003.
45. D. A. Zaitsev, "Decomposition of Petri nets," Cybern. Syst. Anal., vol. 40, no. 5, pp. 739-746, Sep. 2011.
46. Q. Zeng, "A polynomial-time decomposition algorithm for Petri Nets based on indexes of transitions," Inf. Technol. J., vol. 10, no. 4, pp. 856- 862, 2011.
47. J. Zeng and W. J. Hsu, "Conflict-free container routing in mesh yard layouts," Robot. Auton. Syst., vol. 56, no. 5, pp. 451-460, May 2008. (Pubitemid 351514897)