Comparing digraph and Petri net approaches to deadlock avoidance in FMS

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 5, 2000, Pages 783-798

  Fanti, Maria Pia ^a,b   Maione, Bruno ^a,b   Turchiano, Biagio ^a,b  

^a IEEE

^b POLITECNICO DI BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; RESOURCE ALLOCATION; THEOREM PROVING;

DEADLOCK AVOIDANCE; DIGRAPH APPROACH;

COMPUTER SYSTEM RECOVERY;

EID: 0034295782     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.875452     Document Type: Article

References (42)

1. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, Dec. 1990.
2. K. Barkaoui and I. B. Abdallah, "Analysis of a resource allocation problem in fms using structure theory of Petri nets," in Proc. 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, 1996.
3. 3PR nets," in Proc. Symp. Discrete Events and Manufacturing Systems, Lille, France, July 9-12, 1996, pp. 438-443.
4. E. R. Boer and T. Murata, "Generating basis siphons and traps of Petri nets using the sign incidence matrix," IEEE Trans. Circuits Syst., vol. 41, pp. 266-271, 1994.
5. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 413-421, June 1995.
6. A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis. Piscataway, NJ: IEEE Press, 1995.
7. A. A. Desrochers, Modeling and Control of Automated Manufacturing Systems. Los Alamitos, CA: IEEE Press, 1990.
8. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 413-421, June 1995.
9. E. G. Coffman, M. J. Elphick, and A. Shoshani, "System deadlocks," Comp. Surveys, vol. 3, pp. 67-78, June 1971.
10. F. DiCesare and A. A. Desrochers, "Modeling, control, and performance analysis of automated manufacturing systems using Petri nets," in Control and Dynamic Systems, C. T. Leondes, Ed. New York: Academic, 1991, vol. 47, pp. 121-172.
11. F. DiCesare, G. Harhalakis, J. M. Proth, and M. Silva, Practice of Petri Nets in Manufacturing. London, U.K.: Chapman & Hall, July 1993.
12. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based dead-lock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
13. M. P. Fanti, B. Maione, G. Piscitelli, and B. Turchiano, "System approach to design a generic software for real-time control of flexible manufacturing systems," IEEE Trans. Syst., Man. Cybern. A, vol. 26, pp. 190-202, Mar. 1996.
14. M. P. Fanti, G. Maione, and B. Turchiano, "Digraph-theoretic approach for deadlock detection and recovery in flexible production systems," Stud. Inform. Contr., vol. 5, no. 4, pp. 373-383, 1996.
15. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Low-cost dead-lock avoidance policies for flexible production systems," Int. J. Model. Simul., vol. 17, pp. 310-316, June 1997.
16. _, "Event based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Automat., vol. 13, pp. 347-363, June 1997.
17. M. P. Fanti, B. Maione, and B. Turchiano, "Event control for dead-lock avoidance in production systems with multiple capacity resources," Stud. Inform. Contr., vol. 7, pp. 343-364, Dec. 1998.
18. M. P. Fanti, G. Maione, and B. Turchiano, "Supervisors avoiding dead-lock in flexible manufacturing systems with co-operating machines," in Proc. Eur. Control Conf., Karlsruhe, Germany, 1999.
19. A. Giua and F. DiCesare, "Petri net structural analysis for supervisory control," IEEE Trans. Robot. Automat., vol 10, pp. 185-195, Apr. 1994.
20. A. N. Habermann, "Prevention of system deadlocks," Commun. ACM, vol. 12, pp. 373-378, July 1969.
21. F. Harary, R. Z. Norman, and D. Cartwright, Structural Models: An Introduction to the Theory of Directed Graphs. New York: Wiley, 1965.
22. F. Harary, Graph Theory. Reading, MA: Addison-Wesley, Apr. 1971.
23. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Automat. Contr.l, vol. 35, pp. 514-523, May 1990.
24. F. Hsieh and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 10, pp. 196-209, Apr. 1994.
25. S. S. Isloor and T. A. Marsland, "The deadlock problem: An overview," Comput., pp. 58-78, Sept. 1980.
26. M. D. Jeng and F. DiCesare, "A review of synthesis techniques for Petri nets with application to automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. , vol. 23, Jan./Feb. 1993.
27. _, "Synthesis using resource control nets for modeling shared-re-source systems," IEEE Trans. Robot. Automat., vol. 11, pp. 317-327, June 1995.
28. T. K. Kumaran, W. Chang, H. Cho, and R. A. Wysk, "A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems," Int. J. Prod. Res., vol. 32, no. 10, pp. 2361-2379, 1994.
29. M. A. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Automat., vol. 15, pp. 497-509, June 1999.
30. F. L. Lewis, A. Gürel, S. Bogdan, A. Doganalp, and O. C. Pastravanu, "Analysis of deadlock and circular waits using matrix model for flexible manufacturing systems," Automatica, vol. 34, no. 9, pp. 1083-1100, 1998.
31. G. Maione and F. DiCesare, "A Petri net and digraph-theoretic approach for deadlock avoidance in flexible manufacturing systems," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, San Diego, CA, 1998, pp. 605-610.
32. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
33. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, N.J.: Prentice-Hall, 1981.
34. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 845-857, Dec. 1996.
35. S. A. Reveliotis, M. A. Lawely, and P. M. Ferreira, "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Automat. Contr., vol. 42, pp. 1344-1357, Oct. 1997.
36. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Automat., vol. 6, pp. 713-723, Dec. 1990.
37. N. Viswanadham and Y. Narahari, Performance Modeling of Automated Manufacturing Systems. Englewood Cliff, NJ: Prentice-Hall, 1992.
38. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Automat., vol. 7, pp. 853-859, Dec. 1991.
39. _, "Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches," J. Manuf. Syst., vol. 13, pp. 128-138, 1994.
40. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Automat. Contr., vol. 41, pp. 289-295, Feb. 1996.
41. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
42. M. C. Zhou, K. McDermott, and P. A. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 2, pp. 523-531, Mar. 1993.