Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems

Automatica

Volumn 34, Issue 9, 1998, Pages 1083-1100

  Lewis, Frank L ^a   Gürel, Ayla ^d   Bogdan, Stjepan ^b   Doǧanalp, Alper ^d   Pastravanu, Octavian C ^c  

^a UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

^b UNIVERSITY OF ZAGREB   (Croatia)

^c GHEORGHE ASACHI TECHNICAL UNIVERSITY OF IASI   (Romania)

^d NONE

Author keywords

Control schemes; Deadlock; Discrete event systems; Flexible manufacturing systems; Matrix methods; Petri nets; Resource allocation; Structural properties

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM ANALYSIS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; PROBLEM SOLVING; RESOURCE ALLOCATION;

CIRCULAR WAITS; CRITICAL SIPHONS; CRITICAL SUBSYSTEMS; DEADLOCK ANALYSIS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032165056     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(98)00048-X     Document Type: Article

References (46)

1. Akella, R. (1990). Special issue on manufacturing. IEEE Trans. Robotics Automat., RA-6(6).
2. Banaszak, Z. A. and B. H. Krogh (1990). Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robotics and Automat., RA-6, 724-734.
3. Boer, E. R. and T. Murata (1994). Generating basis siphons and traps of Petri nets using the sign incidence matrix. IEEE Trans. Circuits Systems, CS-41, 266-271.
4. Boffey, T. B. (1982). Graph Theory in Operations Research. Macmillan, London.
5. Buzacott, J. A. and D. D. Yao (1986). Flexible manufacturing systems: a review of analytical models. Mangement Sci., 32, 890-905.
6. Cao, X. and Y. C. Ho (1990). Models of discrete event dynamic systems. Control Systems Mag., 10, 69-76.
7. Cassandras, C. G. (1990). Discrete Event Systems. Aksen Assoc., Boston, MA.
8. Chen, C. L. P. and C. Wichman (1992). A CLIPS rule-based planning system for mechanical assembly. Proc. NSF DMS Conf., Atlanta, GA, pp. 837-841.
9. Cho, H., T. K. Kumaran and R. A. Wysk (1995). Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans. Robotics Automat., RA-11, 413-421.
10. Deitel, H. M. (1984). An Introduction to Operating Systems. Addison-Wesley, Reading, MA.
11. Desrochers, A. A. (1990). Modeling and Control of Automated Manufacturing Systems. IEEE Computer Society Press, Los Alamitos, CA.
12. Elsayed, E. A. and T. O. Boucher (1994). Analysis and Control of Production Systems, 2nd edn. Prentice-Hall, Englewood Cliffs, NJ.
13. Ezpeleta, S. D., J. M. Colom and J. Martinez (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robotics Automat., RA-11, 173-184.
14. Garey, M. R. and D. S. Johnson (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, San Francisco, CA.
15. Gracanin, D., P. Srinivasan and K. Valavanis (1994). Parametrized Petri nets: properties and applications to automated manufacturing systems. Proc. IEEE Mediterranean Symp. New Directions in Control and Automation, Crete, pp. 48-55.
16. Gürel, A., O. C. Pastravanu and F. L. Lewis (1994). A robust approach in deadlock-free and live FMS design. Proc. IEEE Mediterranean Symp. New Directions in Control and Automation, Crete, pp. 40-47.
17. Ho, Y. C. (1989). Dynamics of discrete event systems. Proc. IEEE. pp. 3-6.
18. Ho, Y. C. and X. Cao (1991). Perturbation Analysis of Discrete Event Systems. Kluwer, Boston, MA.
19. Holt, R. C. and E. M. Reingold (1970). On the time required to detect cycles and connectivity in directed graphs. Technical Report, No. 70-63. Dept. Computer Science, Cornell University, Ithaca, NY.
20. Hsieh, F.-S. and S.-C. Chang (1994). Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans. Robotics and Automat., RA-11, 196-209.
21. Jeng, M. D. and F. DiCesare (1995). Synthesis using resource control nets for modeling shared-resource systems. IEEE Trans. Robotics Automat., RA-11, 317-327.
22. Kasturia, E., F. DiCesare and A. Desrochers (1988). Real time control of multilevel manufacturing systems using colored petri nets. Proc. IEEE Conf. Robotics Automation, pp. 1114-1119.
23. Klein, M. (1991). Supporting conflict resolution in cooperative design system. IEEE Trans. Systems Man Cybernet., SMC-21, 1379-1390.
24. Kumaran, T. K., W. Chang, N. Cho and R.A. Wysk (1994). A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems. Int. J. Prod. Res., 32, 2361-2379.
25. Kumar, P. R. and S. P. Meyn (1995). Stability of queueing networks and scheduling policies. IEEE Trans. Automat. Control, AC-40, 251-260.
26. Kusiak, A. (1992). Intelligent scheduling of automated machining systems. In Intelligent Design and Manufacturing. A. Kusiak (ed.) Wiley, New York.
27. Lauterbach, K. (1987). Linear algebraic calculation of deadlocks and traps. In Concurrency and Nets, eds. K. Voss and H. J. Genrich, Springer-Verlag.
28. Lewis, F. L., O. C. Pastravanu and H.-H. Huang (1993). Controller design and conflict resolution for discrete event manufacturing systems. Proc. IEEE Conf. Decision and Control, San Antonio, TX, pp. 3288-3293.
29. Lewis, F. L., D. Tacconi, A. Gürel, H.-H. Huang and O. C. Pastravanu (1997). Manufacturing controller design and deadlock avoidance using a matrix model for discrete event systems. In Methods and Applications of Intelligent Control, ed. S. G. Tzafestas, 485-508. Kluwer Academic Publishers, Netherlands.
30. Lu, S. H. and P. R. Kumar (1991). Distributed scheduling based on due dates and buffer priorities. IEEE Trans. Automat. Control, AC-36, 1406-1416.
31. Luh, P. B. and D. J. Hoitomt (1993). Scheduling of manufacturing systems using the Lagrangian relaxation technique. IEEE Trans. Automat. Control, AC-38, 1066-1079.
32. Murata, T. (1989). Petri nets: properties, analysis and applications. Proc. IEEE, 77, 541-580.
33. Murata, T., N. Komoda, K. Matsumoto and K. Haruna (1986). A Petri net-based controller for flexible and maintanable sequence control and its applications in factory automation. IEEE Trans. Ind. Electron., IE-33, 1-8.
34. Panwalker, S. S. and W. Iskander (1977). A survey of scheduling rules. Oper. Res., 26, 45-61.
35. Pastravanu, O. C., A. Gürel, H.-H. Huang and F. L. Lewis (1994). Rule-based controller design algorithm for discrete event manufacturing systems. Proc. Amer. Conf., pp. 299-305.
36. Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ.
37. Ramadge, P. J. and W. M. Wonham (1989). The control of discrete event systems. Proc. IEEE, 77, 81-98.
38. Steward, D. V. (1962). On an approach to techniques for the analysis of the structure of large systems of equations. SIAM Rev., 4(4).
39. Tacconi, D. A. and F. L. Lewis (1997). A new matrix model for discrete event systems: application to simulation. IEEE Control Systems Mag., 17, 62-71.
40. Viswanadham, N., Y. Narahari and T. L. Johnson (1990). Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Robotics Automat., RA-6, 713-723.
41. Warfield, J. N. (1973). Binary matrices in system modeling. IEEE Trans. Systems, Man Cybernet., SMC-3, 441-449.
42. Wolter, J., S. Chakrabarty and J. Tsao (1992). Methods of knowledge representation for assembly planning. Proc. NSF Design and Manuf. Sys. Con., 463-468.
43. Wysk, R. A., N. S. Yang and S. Joshi (1991). Detection of deadlocks in flexible manufacturing cells. IEEE Trans. Robotics Automat., RA-7, 853-859.
44. Xing, K. Y., B. S. Hu and H. X. Chen (1996). Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Trans. Robotics Automat., RA-41, 289-295.
45. Zhou, M. C., F. DiCesare and A. D. Desrochers (1992). A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Trans. Robotics Automat., RA-8, 350-361.
46. Zhou, M. C. and F. DiCesare (1993). Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer, Boston.