On deadlock prevention in case of failures in flexible manufacturing systems

International Journal of Manufacturing Technology and Management

Volumn 8, Issue 1-3, 2006, Pages 58-74

  Zhi, Wu Li ^a   Wei, Ding ^a   Rong, Ming Zhu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; Equipment failure; Flexible Manufacturing System (FMS); Petri net; Siphon

Indexed keywords

COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS; PETRI NETS; SIPHONS;

CONTROL PLACES; DEADLOCK PREVENTION; EQUIPMENT FAILURE; RECOVERY TRANSITIONS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 33750589119     PISSN: 13682148     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. Abdallah, I.B. and ElMaraghy, H.A. (1998) 'Deadlock prevention and avoidance in FMS: a Petri net based approach', International Journal of Advanced Manufacturing Technology, Vol. 14, pp.704-715.
2. Banaszak, Z. and Krogh, B.H. (1990) 'Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows', IEEE Transactions on Robotics and Automation, Vol. 6, pp.724-734.
3. Barkaoui, K. and Abdallah, I.B. (1995) 'A deadlock prevention method for a class of FMS', Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Vancouver, BC, Canada, 22-25 October, pp.4119-4124.
4. Barkaoui, K., Chaoui, A. and Zouari, B. (1997) 'Supervisory control of discrete event systems based on structure theory of Petri nets', Proceedings of the 1997 IEEE International Conference on Systems, Man and Cybernetics, Orlando, FL, USA, 12-15 October, pp.3750-3755.
5. Chu, F. and Xie, X.L. (1997) 'Deadlock analysis of Petri nets using siphons and mathematical programming', IEEE Transactions on Robotics and Automation, Vol. 13, pp.793-840.
6. Commoner, F. (1972) 'Deadlocks in Petri nets', Wakefield, Applied Data Research, Inc., Report # CA-7206-2311.
7. Ezpeleta, J., Colom, J.M. and Martinez, J. (1995) 'A Petri net based deadlock prevention policy for flexible manufacturing systems', IEEE Transactions on Robotics and Automation, Vol. 11, pp.173-184.
8. Fanti, M.P. and Zhou, M.C. (2004) 'Deadlock control methods in automated manufacturing systems', IEEE Transactions Systems, Man and Cybernetics, Part #A, Vol. 34, pp.5-22.
9. Huang, Y.S., Jeng, M.D., Xie, X.L. and Chung, S.L. (2001) 'Deadlock prevention policy based on Petri nets and siphons', International Journal of Production Research,Vol. 39, pp.283-305.
10. Iordache, M.V., Moody, J.O. and Antsaklis, P.J. (2002) 'Synthesis of deadlock prevention supervisors using Petri nets', IEEE Transactions on Robotics and Automation, Vol. 18, pp.59-68.
11. Jeng, M.D. and Huang, Y.S. (1999) 'Petri nets for modeling and analysis of manufacturing systems with local operation cycles', Proceedings of the 1999 IEEE International Conference on Systems, Man and Cybernetics, Tokyo, Japan, 12-15 October, pp.793-797.
12. Jeng, M.D. and Xie, X.L. (1999) 'Analysis of modularly composed nets by siphons', IEEE Transactions on Systems, Man and Cybernetics, Part #A, Vol. 29, pp.399-406.
13. Jeng, M.D., Xie, X.L. and Peng, M.Y. (2002) 'Process nets with resources for manufacturing modeling and their analysis', IEEE Transactions on Robotics and Automation, Vol. 18, pp.875-889.
14. Jeng, M.D. and Xie, X.L. (2004) 'ERCN* merged nets for modeling degraded behaviour and parallel processes in semiconductor manufacturing systems', IEEE Transactions on Systems, Man and Cybernetics, Part #A, Vol. 34, pp.102-112.
15. Kezic, F.D., Peric, S.N. and Petrovic, T.I. (2002) 'A Petri net approach of deadlock prevention in batch processes in case of failure', Proceedings of the IEEE International Symposium on Industrial Electronics, 8-11 July, pp.205-210.
16. Lautenbach, K. (1987) 'Linear algebraic calculation of deadlocks and traps', in K. Voss, H.J. Genrich and G. Rozenberg (Eds). In Concurrency and Nets, New York: Springer-Verlag, pp.315-336.
17. Li, Z.W. and Zhou, M.C. (2004a) 'Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems', IEEE Transactions on Systems, Man and Cybernetics, Part #A, Vol. 34, pp.38-51.
18. Li, Z.W. and Zhou, M.C. (2004b) 'Clarifications on the definitions of elementary siphons in Petri nets', IEEE Transactions in Systems, Man and Cybernetics, Part #A. 2006.
19. Murata, T. (1989) 'Petri nets: properties, analysis and applications', Proceedings of the IEEE, Vol. 77, pp.541-580.
20. Uzam, M. (2002) 'An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions', International Journal of Advanced Manufacturing Technology, Vol. 19, pp. 192-208.
21. Uzam, M. (2004) 'The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems', International Journal of Advanced Manufacturing Technology, Vol. 23, pp.204-219.