Deadlock prediction and avoidance for zone-control AGVS

International Journal of Production Research

Volumn 36, Issue 10, 1998, Pages 2879-2889

  Yeh, M S ^a   Yeh, W C ^b  

^a National Taichung Institute of Technology   (China)

^b FENG CHIA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONCURRENCY CONTROL; CONVEYORS; FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; MATHEMATICAL MODELS;

AUTOMATED GUIDED VEHICLE SYSTEM; ZONE CONTROL;

INDUSTRIAL ENGINEERING;

EID: 0032187878     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/002075498192526     Document Type: Article

References (18)

1. Banaszak, Z. A. and Krogh, B. H., 1990, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation, 6, 724-734.
2. Coffman, E. G., Elphick, M. J. and Shoshani, A., 1971, System deadlocks. ACM Computing Surveys., 3, 67-78.
3. Habermann, A. N., 1969, Prevention of system deadlocks. Communications of the ACM, 12, 373-385.
4. Kim, C. W. and Tanchoco, J. M. A., 1991, Conflict-free shortest-time bi-directional AGV routing. International Journal of Production Research, 29, 2377-2391.
5. Koff, G. A., 1987, Automatic guided vehicle systems: application, control, and planning. Material Flows, 4, 3-16.
6. Leung, Y. T, and Sheen, G. J., 1993, Resolving deadlocks in flexible manufacturing cells. Journal of Manufacturing Systems, 12, 291-304.
7. Lee, C.-C. and Lin, J. T., 1995, Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems. International Journal of Production Research, 33, 3249-3265.
8. Lin, J. T. and Lee, C. C., 1992, A modular approach for the modeling of a class of zonecontrol conveyor system using timed Petri nets. International Journal of Computer Integrated Manufacturing, 5, 277-289.
9. Malmborg, C. J., 1990, A model for the design of zone-control automated guided vehicle systems, International Journal of Production Research, 28, 1741-1758.
10. Murata, T., 1989, Petri nets: properties, analysis, and application. Proceedings of the IEEE, 77, 541-579.
11. Murata, T., Shenker, B. and Shatz, S. M., 1989, Detection of a static deadlock using Petri net invariants. IEEE Transactions on Software Engineering, 15, 314-326.
12. Peterson, J. L., 1981, Petri Net Theory and the Modeling of Systems (Englewood Cliffs, NJ: Prentice-Hall).
13. Sifakis, J., 1980, Deadlocks and livelocks in transition systems. In P. Dembinski (ed.) Mathematical Foundations of Computer Science, Lecture Notes in Computer Science: Vol. 88, pp. 587-600.
14. Tsutsui, S. and Fujimoto, Y., 1987, Deadlock prevention in process computer systems. The Computer Journal, 30, 20-26.
15. Viswanadham, N. and Narahari, Y., 1992, Performance Modeling of Automated Manufacturing Systems, (Englewood Cliffs, NJ: Prentice-Hall) Chapter 5.
16. Viswanadham, N., Narahari, Y. and Johnson, T. L., 1990, Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation, 6, 713-723.
17. Wysk, R. A., Yang, N. S. and Joshi, S., 1991, Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation, 7, 853-859.
18. Zeng, L., Wang, H.-P. and Jin, S., 1991, Conflict detection of automated guided vehicles: a Petri net approach. International Journal of Production Research, 29, 865-879.