Coloured timed Petri net model for real-time control of automated guided vehicle systems

Automated guided vehicle systems (AGVS) are material-handling devices representing an efficient and flexible option for products management in automated manufacturing systems. In AGVS, vehicles follow a guide-path while controlled by a computer that assigns the route, tasks, velocity, etc. Moreover, the design of AGVS has to take into account some management problems such as collisions and deadlocks. The paper presents a novel control strategy to avoid deadlock and collisions in zone-controlled AGVS. In particular, the control scheme manages the assignments of new paths to vehicles and their acquisition of the next zone. Moreover, the use of coloured Petri nets is proposed to model the dynamics of AGVS and implement the control strategy stemming from the knowledge of the system state. Additionally, extending the coloured Petri net model with a time concept allows investigation of system performance. Several simulations of an AGVS with varying fleet size while measuring appropriate performance indices show the effectiveness of the proposed control strategy compared with an alternative policy previously presented.

[1]  Kripa Shanker,et al.  A semi-dynamic time window constrained routeing strategy in an AGV system , 1998 .

[2]  Kripa Shanker,et al.  An heuristic for configuring a mixed uni/bidirectional flow path for an AGV system , 1998 .

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

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

[5]  K. Feldmann,et al.  Material flow and control sequence specification of flexible production systems using coloured Petri nets , 1998 .

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

[7]  Hyunbo Cho,et al.  Graph-theoretic deadlock detection and resolution for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[8]  Maria Pia Fanti,et al.  Deadlock Free Control in Automated Guided Vehicle Systems , 2002 .

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

[10]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

[11]  Spyros A. Reveliotis,et al.  A correct and scalable deadlock avoidance policy for flexible manufacturing systems , 1998, IEEE Trans. Robotics Autom..

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

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

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

[15]  Joaquín Ezpeleta,et al.  Automatic synthesis of colored Petri nets for the control of FMS , 1997, IEEE Trans. Robotics Autom..

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

[17]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

[18]  Spyros A. Reveliotis,et al.  Deadlock avoidance policies for automated manufacturing cells , 1996, IEEE Trans. Robotics Autom..

[19]  S. Toumodge Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.

[20]  Mark Lawley Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems , 2000 .

[21]  Bengt Lennartson,et al.  Performance modeling of automated manufacturing systems , 1995, Autom..

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

[23]  Pius J. Egbelu,et al.  Characterization of automatic guided vehicle dispatching rules , 1984 .

[24]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

[25]  Zhibin Jiang,et al.  Temporized coloured Petri nets with changeable structure (CPN-CS) for performance modelling of dynamic production systems , 2000 .

[26]  Murali Nandula,et al.  Performance evaluation of an auction-based manufacturing system using coloured Petri nets , 2000 .

[27]  Surendra M. Gupta,et al.  Petri net models of flexible and automated manufacturing systems : a survey , 1996 .

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

[29]  James T. Lin,et al.  Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems , 1995 .

[30]  Hsu-Pin Ben Wang,et al.  Conflict detection of automated guided vehicles: a Petri net approach , 1991 .

[31]  E. L. Blair,et al.  Optimal routing of driverless vehicles in a flexible material handling system , 1987 .

[32]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

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

[34]  Maria Pia Fanti,et al.  Comparing digraph and Petri net approaches to deadlock avoidance in FMS , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[35]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

[36]  Ludo Gelders,et al.  Micro-computer simulation in design of automated guided vehicle systems , 1985 .

[37]  Pius J. Egbelu,et al.  Potentials for bi-directional guide-path for automated guided vehicle based systems , 1986 .

[38]  Suhua Hsieh,et al.  Synthesis of AGVS by coloured-timed Petri nets , 1998, Int. J. Comput. Integr. Manuf..

[39]  J. M. A. Tanchoco,et al.  A review of research on AGVS vehicle management , 1991 .

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

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

[42]  Maria Pia Fanti,et al.  Distributed event-control for deadlock avoidance in automated manufacturing systems , 2001 .