Resource-oriented Petri nets in deadlock avoidance of AGV systems

Presents a colored resource-oriented Petri net (CROPN) modeling method to deal with conflict and deadlock arising in automated guided vehicles (AGV) systems. Some unique features in AGV systems require further investigation into their deadlock avoidance using CROPN models. The proposed approach can easily handle both bidirectional and unidirectional paths. Bidirectional paths offer additional flexibility, efficiency and less cost than unidirectional paths. Yet they exhibit more challenging AGV management problems. By modeling nodes with places and lanes with transitions, one can easily construct a CROPN model for dynamic AGV systems with changing routes. A control policy suitable for real-time control implementation is then proposed.

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

[2]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[3]  Mark A. Lawley,et al.  Deadlock avoidance for production systems with flexible routing , 1999, IEEE Trans. Robotics Autom..

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

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

[6]  Yavuz A. Bozer,et al.  Tandem AGV systems: A partitioning algorithm and performance comparison with conventional AGV systems , 1992 .

[7]  J. M. A. Tanchoco,et al.  An introduction to the segmented flow approach for discrete material flow systems , 1995 .

[8]  Y. Narahari,et al.  Coloured Petri net models for automated manufacturing systems , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

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

[10]  Charles J. Malmborg,et al.  A model for the design of zone control automated guided vehicle systems , 1990 .

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

[12]  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.

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

[14]  Ying Tat Leung,et al.  Resolving deadlocks in flexible manufacturing cells , 1993 .

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

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

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

[18]  MuDer Jeng,et al.  Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..