Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems

International Journal of Production Research

Volumn 43, Issue 24, 2005, Pages 5131-5159

  Maione, G ^a   Dicesare, F ^b  

^a POLITECNICO DI BARI   (Italy)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

Automated manufacturing systems; Deadlock prevention; Digraphs; Discrete event systems; Petri nets

Indexed keywords

EID: 40749100803     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540500216854     Document Type: Article

References (35)

1. Banaszak, Z.A. and Krogh, B.H., Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Rob. Aut., 1990, 6, 724-734.
2. Barkaoui, K. and Ben Abdallah, I., Deadlock avoidance in FMS based on structural theory of Petri nets, in Proceedings of the INRIA/IEEE Symposium on Emerging Technologies and Factory Automation, Paris, France, 1995, Vol. II, pp. 499-510.
3. Chiola, G., Ajmone Marsan, M., Balbo, G. and Conte, G., Generalized stochastic Petri nets: a definition at the net level and its implications. IEEE Trans. Soft. Eng., 1993, 19, 89-107.
4. Cho, H., Kumaran, T.K. and Wysk, R.A., Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans. Rob. Aut., 1995, 11, 413-421.
5. Chu, F. and Xie, X., Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Rob. Aut., 1997, 13, 793-804.
6. DiCesare, F. and Desrochers, A.A., Modeling, control, and performance analysis of automated manufacturing systems using Petri nets. In Control and Dynamic Systems, edited by C.T. Leondes, Vol. 47, pp. 121-172, 1991 (Academic Press: New York).
7. DiCesare, F., Harhalakis, G., Proth, J.M. and Silva, M., Practice of Petri Nets in Manufacturing, 1993 (Chapman & Hall: London).
8. Ezpeleta, J. and Colom, J.M., Automatic synthesis of colored Petri nets for the control of FMS. IEEE Trans. Rob. Aut, 1997, 13, 327-337.
9. Ezpeleta, J., Colom, J.M. and Martinez, J., A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Rob. Aut., 1995, 11, 173-184.
10. Fanti, M.P., Maione, B., Mascolo, S. and Turchiano, B., Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. Rob. Aut., 1997, 13, 347-363.
11. Fanti, M.P., Maione, B. and Turchiano, B., Event control for deadlock avoidance in production systems with multiple capacity resources. Stud. Inform. Contr. 1998, 7, 343-364.
12. Fanti, M.P., Maione, B. and Turchiano, B., Comparing digraph and Petri net approaches to deadlock avoidance in FMS. IEEE Trans. Sys., Man, and Cyber., 2000, 30, 783-798.
13. Fanti, M.P., Maione, G. and Turchiano, B., Digraph-theoretic approach for deadlock detection and recovery in flexible production systems. Stud. Inform. Contr., 1996, 5, 373-383.
14. Ghaffari, A., Ben Njima, F., Rezg, N. and Xie, X.-L., Design and coordination of partial Petri net controllers for a maximally permissive supervisory control, in Proceedings of the 2002 IEEE International Conference on Systems, Man, and Cybernetics, Hammamet, Tunisia, 6-9 October, 2002a.
15. Ghaffari, A., Rezg, N. and Xie, X.-L., Maximally permissive and non blocking control of Petri nets using the theory of regions, in Proceedings of the ICRA 2002, Washington, DC, USA, 10-17 May, 2002b.
16. Giua, A. and DiCesare, F., Petri net structural analysis for supervisory control. IEEE Trans. Rob. Aut, 1994, 10, 185-195.
17. Harary, F., Norman, R.Z. and Cartwright, D., Structural Models: An Introduction to the Theory of Directed Graphs, 1965 (Wiley: New York).
18. Holloway, L.E., Guan, X. and Zhang, L., A generalization of state avoidance policies for controlled Petri nets. IEEE Trans. Aut. Cont., 1996, 41, 804-816.
19. Hsieh, F.S. and Chang, S.C., Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans. Rob. Aut., 1994, 10, 196-209.
20. Jeng, M.D. and DiCesare, F., A review of synthesis techniques for Petri nets with applications to automated manufacturing systems. IEEE Trans. Sys., Man, and Cyber., 1993, 23, 301-312.
21. Kim, C.O. and Kim, S.S., An efficient real-time deadlock-free control algorithm for automated manufacturing systems. Int. J. Prod. Res., 1997, 35, 1545-1560.
22. Kumaran, T.K., Chang, W., Cho, H. and Wysk, R.A., A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. Int. J. Prod. Res., 1994, 32, 2361-2379.
23. Lee, C.C. and Lin, J.T., Deadlock prediction and avoidance based on Petri nets for zonecontrol automated guided vehicle systems. Int. J. Prod. Res., 1995, 33, 3249-3265.
24. Lewis, F.L., Giirel, A., Bodgan, S., Doganalp, A. and Pastravanu, O.C., Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems. Automatica, 1998, 34, 1083-1100.
25. Murata, T., Petri nets: properties, analysis and applications. Proc. IEEE, 1989, 77, 541-580.
26. Reisig, W. and Rozenberg, G. (eds), Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, 1998. Lecture Notes in Computer Science, Vol. 1491 (Springer: Berlin).
27. Reveliotis, S.A. and Ferreira, P.M., Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. Rob. Aut., 1996, 12, 845-857.
28. Viswanadham, N. and Narahari, Y., Stochastic Petri net models for performance evaluation of automated manufacturing systems. Inform. Decis. Tech., 1988, 14, 125-142.
29. Viswanadham, N., Narahari, Y. and Johnson, T.L., Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Rob. Aut, 1990, 6, 713-723.
30. Wysk, R.A., Yang, N.S. and Joshi, S., Detection of deadlocks in flexible manufacturing cells. IEEE Trans. Rob. Aut, 1991, 7, 853-859.
31. Wysk, R.A., Yang, N.S. and Joshi, S., Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J. Manuf. Sys., 1994, 13, 128-138.
32. Xing, K.Y., Hu, B.S. and Chen, H.X., Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Trans. Aut. Cont., 1996, 41, 289-295.
33. Yamalidou, K., Moody, J., Lemmon, M. and Antsaklis, P., Feedback control of Petri nets based on place invariants. Automatica, 1996, 32, 15-28.
34. Yim, D.S., Kim, J.I. and Woo, H.S., Avoidance of deadlocks in flexible manufacturing systems using a capacity-designated graph. Int. J. Prod. Res., 1997, 35, 2459-2475.
35. Zhou, M. and DiCesare, F., Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, 1993 (Kluwer: Norwell, MI).