Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems. (English) Zbl 0912.90121
Summary: Deadlock problems of zone-control uni-directional automated guided vehicle systems (AGV) 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.
MSC:
| 90B06 | Transportation, logistics and supply chain management |
References:
| [1] | DOI: 10.1109/70.63273 · doi:10.1109/70.63273 |
| [2] | DOI: 10.1145/356586.356588 · doi:10.1145/356586.356588 |
| [3] | DOI: 10.1145/363156.363160 · Zbl 0184.20602 · doi:10.1145/363156.363160 |
| [4] | DOI: 10.1080/00207549108948090 · Zbl 0729.90816 · doi:10.1080/00207549108948090 |
| [5] | KOFF G. A., Material Flows 4 pp 3– (1987) |
| [6] | DOI: 10.1016/0278-6125(93)90320-S · doi:10.1016/0278-6125(93)90320-S |
| [7] | DOI: 10.1080/09511929208944536 · doi:10.1080/09511929208944536 |
| [8] | DOI: 10.1080/00207549008942830 · doi:10.1080/00207549008942830 |
| [9] | DOI: 10.1109/5.24143 · doi:10.1109/5.24143 |
| [10] | DOI: 10.1109/32.21759 · doi:10.1109/32.21759 |
| [11] | PETERSON J. L., Petri Net Theory and the Modeling of Systems (1981) · Zbl 0461.68059 |
| [12] | DOI: 10.1007/BFb0022535 · doi:10.1007/BFb0022535 |
| [13] | DOI: 10.1093/comjnl/30.1.20 · Zbl 0605.68014 · doi:10.1093/comjnl/30.1.20 |
| [14] | DOI: 10.1109/70.63257 · doi:10.1109/70.63257 |
| [15] | VISWANADHAM N., Performance Modeling of Automated Manufacturing Systems (1992) · Zbl 0825.90461 |
| [16] | DOI: 10.1109/70.105378 · doi:10.1109/70.105378 |
| [17] | DOI: 10.1080/00207549108930107 · doi:10.1080/00207549108930107 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
