DEADLOCK PREDICTION AND AVOIDANCE BASED ON PETRI NETS FOR ZONE-CONTROL AUTOMATED GUIDED VEHICLE SYSTEMS

被引：46

作者：

LEE, CC ^{[1
]}

LIN, JT ^{[1
]}

机构：

[1] NATL TSING HUA UNIV,DEPT IND ENGN,HSINCHU 30043,TAIWAN

来源：

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH | 1995年 / 33卷 / 12期

关键词：

D O I：

10.1080/00207549508904872

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

Deadlock problems of zone-control uni-directional automated guided vehicle (AGV) systems are discussed in this paper. Deadlocks of two types in such AGV systems are first classified from the perspective of shared resources, i.e. guide-path zones and buffers. A special class of Petri nets, attributed Petri nets (APN), is defined and used to represent the current state and to generate future states of zone-control AGV systems. We propose an algorithmic procedure to predict in real time and to avoid deadlocks that are caused by sharing guide-path zones in zone-control AGV systems. The proposed algorithm utilizes the current system state and future predicted states to avoid deadlocks. These states are obtained and generated from the obtained APN. A modular approach is employed to facilitate the construction of APN models of zone-control AGV systems.

引用

页码：3249 / 3265

页数：17

共 17 条

[1]

Banaszak Z.A., Krogh B.H., Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows, IEEE Transactions on Robotics and Automation, 6, 6, pp. 724-734, (1990)

[2]

Coffman E.G., Elphick M.J., Shoshani A., System deadlocks, ACM Computing Surveys, 3, 2, pp. 67-78, (1971)

[3]

Habermann A.N., Prevention of system deadlocks, Communications of the ACM, 12, 7, pp. 373-385, (1969)

[4]

Kim C.W., Tanchoco J., Conflict-free shortest-time bi-directional AGV routeing, International Journal of Production Research, 29, 12, pp. 2377-2391, (1991)

[5]

Koff G.A., Automatic guided vehicle systems: Application, control, and planning, Materia, 4, pp. 3-16, (1987)

[6]

Leung Y.T., Sheen G.-J., Resolving deadlocks in flexible manufacturing cells, Journal of Manufacturing Systems, 12, 4, pp. 291-304, (1993)

[7]

Lin J.T., Lee C.-C., A modular approach for the modeling of a class of zone-control conveyor system using timed Petri nets, International Journal of Computer Integrated Manufacturing, 5, 4-5, pp. 277-289, (1992)

[8]

Malmborg C.J., A model for the design of zone-control automated guided vehicle systems, International Journal of Production Research, 28, 10, pp. 1741-1758, (1990)

[9]

Murata T., Petri nets: Properties, analysis, and application, Proceedings of the IEEE, 77, 4, pp. 541-579, (1989)

[10]

Murata T., Shenkkr B., Shatz S.M., Detection of a static deadlock using Petri net invariants, IEEE Transactions on Software Engineering, 15, 3, pp. 314-326, (1989)

← 1 2 →