Petri Net Decomposition Approach for Dispatching and Conflict-Free Routing of Bidirectional Automated Guided Vehicle Systems

In this paper, we address a Petri net decomposition approach for simultaneous dispatching and conflict-free routing for bidirectional automated guided vehicle (AGV) systems in dynamic environments. To solve the dynamic problem, static problems for finding near-optimal dispatching and conflict-free routing are solved each time when transportation requests are given. The static problem is converted to an optimal firing sequence problem for a timed Petri net. A Petri net decomposition approach is applied to solve the problem efficiently. In the algorithm, the entire Petri net is decomposed into task and AGV subnets. The penalty function method is used to derive a solution for all subnets. A deadlock avoidance method is embedded in the proposed methodology to ensure the feasibility and the quality of the solution. Computational results show that the proposed method with a deadlock avoidance algorithm efficiently maximizes the throughput for dynamic situations.

[1]  Alessandro Giua,et al.  Modeling and Supervisory Control of Railway Networks Using Petri Nets , 2008, IEEE Transactions on Automation Science and Engineering.

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

[3]  Semra Tunali.  Evaluation of alternate routing policies in scheduling a job-shop type FMS , 1997 .

[4]  Tatsushi Nishi,et al.  Petri Net Decomposition Approach to Optimization of Route Planning Problems for AGV Systems , 2010, IEEE Transactions on Automation Science and Engineering.

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

[6]  André Langevin,et al.  Scheduling and routing of automated guided vehicles: A hybrid approach , 2007, Comput. Oper. Res..

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

[8]  Maria Pia Fanti,et al.  Event-based feedback control for deadlock avoidance in flexible production systems , 1997, IEEE Trans. Robotics Autom..

[9]  Qingtian Zeng.  A Polynomial-time Decomposition Algorithm for Petri Nets Based on Indexes of Transitions , 2011 .

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

[11]  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).

[12]  Spyros A. Reveliotis,et al.  On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems , 2008, IEEE Transactions on Automatic Control.

[13]  Hisao Shiizuka,et al.  Modeling of AGV networks in flexible manufacturing systems , 1994 .

[14]  Jie Zhang,et al.  A Petri net-based decomposition approach in modelling of manufacturing systems , 1993 .

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

[16]  Naiqi Wu,et al.  Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[17]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[18]  Kathryn A. Downsland,et al.  Collision Avoidance in Bi-Directional AGV Systems , 1994 .

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

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

[21]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[22]  MuDer Jeng,et al.  Application of Petri Nets and Lagrangian Relaxation to Scheduling Automatic Material-Handling Vehicles in 300-mm Semiconductor Manufacturing , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[23]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[24]  André Langevin,et al.  Dispatching and Conflict-Free Routing of Automated Guided Vehicles: An Exact Approach , 2002 .

[25]  René M. B. M. de Koster,et al.  A review of design and control of automated guided vehicle systems , 2006, Eur. J. Oper. Res..

[26]  Dikai Liu,et al.  Distributed Simultaneous Task Allocation and Motion Coordination of Autonomous Vehicles Using a Parallel Computing Cluster , 2007 .

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

[28]  Tatsushi Nishi,et al.  A distributed routing method for AGVs under motion delay disturbance , 2007 .

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

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

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

[32]  Hongnian Yu,et al.  Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems-part II: heuristic hybrid search , 2003 .

[33]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[34]  Sanjiv Sarin,et al.  A program for dispatching and routing AGVs , 1992 .

[35]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[36]  Dmitry A. Zaitsev,et al.  Decomposition of Petri nets , 2004 .

[37]  P. Castagna,et al.  A multi-agent based conflict-free routing approach of bi-directional automated guided vehicles , 2006, 2006 American Control Conference.

[38]  Mengchu Zhou,et al.  Modeling and deadlock control of automated guided vehicle systems , 2004, IEEE/ASME Transactions on Mechatronics.

[39]  Toshimasa Watanabe,et al.  Legal firing sequence and related problems of Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

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

[41]  Wen-Jing Hsu,et al.  Conflict-free container routing in mesh yard layouts , 2008, Robotics Auton. Syst..

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

[43]  Ying-Chin Ho,et al.  Zone design and control for vehicle collision prevention and load balancing in a zone control AGV system , 2009, Comput. Ind. Eng..

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

[45]  MengChu Zhou,et al.  Process vs resource‐oriented Petri net modeling of automated manufacturing systems , 2010 .

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

[47]  Masahiro Inuiguchi,et al.  Dynamic Optimization of Simultaneous Dispatching and Conflict-free Routing for Automated Guided Vehicles , 2010 .