Petri Net Decomposition Approach to Optimization of Route Planning Problems for AGV Systems

In this paper, we propose a Petri Net (PN) decomposition approach to the optimization of route planning problems for automated guided vehicles (AGVs) in semiconductor fabrication bays. An augmented PN is developed to model the concurrent dynamics for multiple AGVs. The route planning problem to minimize the total transportation time is formulated as an optimal transition firing sequence problem for the PN. The PN is decomposed into several subnets such that the subnets are made independent by removing the original shared places and creating its own set of resource places for each subnet with the appropriate connections. The partial solution derived at each subnet is not usually making a feasible solution for the entire PN. The penalty function algorithm is used to integrate the solutions derived at the decomposed subnets. The optimal solution for each subnet is repeatedly generated by using the shortest-path algorithm in polynomial time with a penalty function embedded in the objective function. The effectiveness of the proposed method is demonstrated for a practical-sized route planning problem in semiconductor fabrication bay from computational experiments.

[1]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[2]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[3]  Toshimasa Watanabe,et al.  An approximation algorithm for the legal firing sequence problem of Petri nets , 1994, Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94.

[4]  S. Reveliotis Conflict resolution in AGV systems , 2000 .

[5]  Tatsushi Nishi,et al.  An Autonomous Distributed Route Planning Method for Multiple Mobile Robots , 2003 .

[6]  Mariagrazia Dotoli,et al.  Coloured timed Petri net model for real-time control of automated guided vehicle systems , 2004 .

[7]  Murat Uzam,et al.  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .

[8]  Ling Qiu,et al.  A bi-directional path layout for conflict-free routing of AGVs , 2001 .

[9]  Li-Chen Fu,et al.  Petri-net and GA-based approach to modeling, scheduling, and performance evaluation for wafer fabrication , 2000, IEEE Trans. Robotics Autom..

[10]  Ying-Chin Ho,et al.  A dynamic-zone strategy for vehicle-collision prevention and load balancing in an AGV system with a single-loop guide path , 2000 .

[11]  Naiqi Wu,et al.  Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model , 2002 .

[12]  MuDer Jeng,et al.  Petri net modeling and lagrangian relaxation approach to vehicle scheduling in 300mm semiconductor manufacturing , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[13]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[14]  Maria Pia Fanti,et al.  Event-based controller to avoid deadlock and collisions in zone-control AGVS , 2002 .

[15]  Pierre Castagna,et al.  A performance-based structural policy for conflict-free routing of bi-directional automated guided vehicles , 2005, Comput. Ind..

[16]  J. M. A. Tanchoco,et al.  Conflict-free shortest-time bidirectional AGV routeing , 1991 .

[17]  Jaejin Jang,et al.  An AGV routing policy reflecting the current and future state of semiconductor and LCD production lines , 2001 .

[18]  Murat Uzam,et al.  The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .

[19]  MengChu Zhou,et al.  An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[20]  X. Xie,et al.  Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2006, IEEE Trans. Syst. Man Cybern. Part A.

[21]  MengChu Zhou,et al.  Shortest Routing of Bidirectional Automated Guided Vehicles Avoiding Deadlock and Blocking , 2007, IEEE/ASME Transactions on Mechatronics.

[22]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[23]  Elzbieta Roszkowska Liveness enforcing in closed AGV systems with dynamic routing , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[24]  Spyros Reveliotis,et al.  Deadlock Avoidance for Sequential Resource Allocation Systems: Hard and Easy Cases , 2001 .

[25]  Andrew Kusiak,et al.  Decomposition in automatic generation of Petri nets for manufacturing system control and scheduling , 2000 .

[26]  MengChu Zhou,et al.  Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[27]  MuDer Jeng,et al.  Deadlock prevention policy based on Petri nets and siphons , 2001 .

[28]  Wei-Chang Yeh,et al.  Deadlock prediction and avoidance for zone-control AGVS , 1998 .

[29]  Ling Qiu,et al.  Scheduling and routing algorithms for AGVs: A survey , 2002 .

[30]  MengChu Zhou,et al.  Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2006, IEEE Transactions on Industrial Informatics.

[31]  Rajan Batta,et al.  Dynamic conflict-free routing of automated guided vehicles , 1999 .

[32]  Iris F. A. Vis,et al.  Survey of research in the design and control of automated guided vehicle systems , 2006, Eur. J. Oper. Res..

[33]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[34]  Miyamoto Yuichi,et al.  An Approximate Solution Method for a Combinatorial Discrete Optimization Problem Involved Interference and Its Application to a Physical Distribution System , 1995 .

[35]  Tatsushi Nishi,et al.  Distributed route planning for multiple mobile robots using an augmented Lagrangian decomposition and coordination technique , 2005, IEEE Transactions on Robotics.

[36]  Hark Hwang,et al.  An adaptive dispatching algorithm for automated guided vehicles based on an evolutionary process , 1999 .

[37]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.