Deadlock prevention and avoidance in FMS: A Petri net based approach

International Journal of Advanced Manufacturing Technology

Volumn 14, Issue 10, 1998, Pages 704-715

  Abdallah, I B ^a   ElMaraghy, H A ^a  

^a UNIVERSITY OF WINDSOR   (Canada)

Author keywords

Deadlock avoidance; Deadlock prevention; Flexible manufacturing systems (FMS); Structure theory of Petri nets

Indexed keywords

JUST IN TIME PRODUCTION; PETRI NETS; PROCESS CONTROL; RESOURCE ALLOCATION; SCHEDULING;

DEADLOCK AVOIDANCE METHODS; DEADLOCK PREVENTION METHODS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032306881     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01438223     Document Type: Article

References (24)

1. T. K. Kumaran, W. Chang, H. Cho et al., "A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems", International Journal of Production Research, 32(10), pp. 2361-2379, 1994.
2. M. Singhal, "Deadlock detection in distributed systems", IEEE Computer Magazine, pp. 37-48, 1989.
3. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows", IEEE Transactions on Robotics and Automation, 6(6), pp. 724-734, 1990.
4. N. Viswanadham, Y. Narahari and T.L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models", IEEE Transanctions on Robotics and Automation, 6(6), pp. 713-723, 1990.
5. F. Hsieh and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems", IEEE Transanctions on Robotics and Automation, 10(2), pp. 196-209, 1994.
6. K. Barkaoui and I. Ben Abdallah, "Deadlock avoidance in FMS based on structure theory of Petri nets", Proceedings, INRIA/IEEE Symposium on Emerging Technologies and Factory Automation, Paris, France, 2, pp. 499-510, October, 1995.
7. J. Ezpeleta, J. M. Colom and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Transactions on Robotics and Automation, 11(2), pp. 173-184, 1995.
8. K. Barkaoui and I. Ben Abdallah, "A deadlock prevention method for a class of FMS", Proceedings, IEEE International Conference on Systems, Man, and Cybernetics, Vancouver, British Columbia, Canada, 5, pp. 4119-4124, October, 1995.
9. K. Xing, B, Hu and H. Chen, "Deadlock avoidance policy for flexible manufacturing systems", in M. C. Zhou (ed.) Petri Nets in Flexible and Agile Automation, Kluwer, Boston, MA, pp. 239-263, 1995.
10. S. E. Ramaswamy and S. B. Joshi, "Deadlock-free schedules for automated manufacturing workstations", IEEE Transactions on Robotics and Automation, 12(3), pp. 391-400, 1996.
11. V. H. Garmhausen, E. M. Clarke and S. Campos, "Deadlock prevention in flexible manufacturing systems using symbolic model checking", Proceedings, IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota, pp. 527-532, April 1996.
12. S. A. Reviolis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells", IEEE Transactions on Robotics and Automation, 12(6), pp. 845-857, 1996.
13. F. DiCesare, G. Harhalakis, J. M. Proth et al., "Practice of Petri nets in manufacturing", Chapman and Hall, London, 1993.
14. T. Minoura and C. Ding, "A deadlock prevention method for a sequence controller for manufacturing control", International Journal of Robotics and Automation, 6(3), pp. 149-155, 1991.
15. K. Y. Xing, K. L. Xing, J. M. Li et al., "Deadlock avoidance controller for a class of manufacturing systems", Proceedings, IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota, pp. 200-204, April 1996.
16. J. Ezpeleta and J. Martinez, "Synthesis of live models for a class of FMS", Proceedings, IEEE International Conference on Robotics and Automation, pp. 557-563, 1993.
17. K. Barkaoui and I. Ben Abdallah, "Analysis of a resource allocation problem in FMS using structure theory of Petri nets", Proceedings, First International Workshop on Manufacturing and Petri Nets, Osaka, Japan, pp. 1-15, June 1996.
18. M. C. Zhou and F. DiCesare, "Petri net synthesis for discrete event control of manufacturing systems", Kluwer, Boston, 1993.
19. F. Tricas and J. Martinez, "An extension of liveness theory for concurrent sequential processes competing for shared resources", Proceedings, IEEE International Conference on Systems, Man and Cybernatics, 4, pp. 3035-3040, October 1995.
20. K. Lautenbach and P. S. Thiagarajan, "Analysis of a resource allocation problem using Petri nets", Proceedings, First European Conference on Parallel and Distributed Processing, Toulouse, France, pp. 260-266, 1979.
21. W. Reisig, "Petri nets, an introduction", EATCS, Monographs on Theoretical Computer Science, (ed. W. Brauer, G. Rozenberg and A. Salomaa), Springer Verlag, 1985.
22. G. W. Brams, "Réseaux de Petri: théorie et pratique", Masson, Paris, 1983.
23. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets", Proceedings, 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, June 1996.
24. 3PR nets applied to manufacturing systems", Proceedings of the IEEE SMC'97, pp. 1710-1715, Orlando, Florida, USA, October 1997.