Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines

IEEE Transactions on Automatic Control

Volumn 45, Issue 11, 2000, Pages 2086-2090

  Gurel A ^a   Bogdan, S ^b   Lewis, F L ^c  

^a EASTERN MEDITERRANEAN UNIVERSITY   (Turkey)

^b UNIVERSITY OF ZAGREB   (Croatia)

^c UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FLEXIBLE MANUFACTURING SYSTEMS; MATRIX ALGEBRA; PETRI NETS; PROCESS CONTROL; PRODUCTION CONTROL; SYSTEM STABILITY;

DEADLOCK AVOIDANCE CONTROL; KANBAN DISPATCHING STRATEGY; LAST BUFFER FIRST SERVE DISPATCHING STRATEGY; SYSTEM DEADLOCK;

CONTROL SYSTEM ANALYSIS;

EID: 0034316109     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.887631     Document Type: Article

References (16)

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. Buzacott and D. D. Yao, "Flexible manufacturing systems: A review of analytical models," Management Sci., vol. 32, no. 7, pp. 890-905, July 1986.
3. 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.
4. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
5. L. E. Holloway and B. H. Krogh, "On closed-loop liveness of discrete-event systems under maximally permissive control," IEEE Trans. Automat. Control, vol. 37, pp. 692-697, May 1992.
6. F. S. Hsieh and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 10, pp. 317-327, Apr. 1994.
7. M. D. Jeng and F. Di Cesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Automat., vol. 11, pp. 317-327, June 1995.
8. T. K. Kumaran, W. Chang, N. 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.
9. P. R. Kumarand S. P. Meyn, "Stability of queueing networks and scheduling policies," IEEE Trans. Automat. Contr., vol. 40, pp. 251-260, Feb. 1995.
10. F. L. Lewis, A. Gürel, S. Bogdan, A. Doǧanalp, and O. C. Pastravanu, "Analysis of deadlock and circular waits using a matrix model for discrete event manufacturing systems," Automatica, 1998.
11. S. H. Lu and P. R. Kumar, "Distributed scheduling based on due dates and buffer priorities," IEEE Trans. Automat. Contr., vol. 36, pp. 1406-1416, Dec. 1991.
12. T. Murata, "Petri nets: Properties, analysis and applications," in Proc. IEEE, vol. 77, 1989, pp. 541-580.
13. S. S. Ranwalker and W. Iskander, "A survey of scheduling rules," Operat. Res., vol. 26, no. 1, pp. 45-61, 1977.
14. T. I. Seidman, "'First come first serve' is unstable!," Univ. Maryland Baltimore County, Tech. Report, 1993.
15. 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. 1991.
16. M. C. Zhou, F. Di Cesare, and A. D. Desrochers, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, Jun. 1992.