Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems

IEEE Transactions on Robotics and Automation

Volumn 16, Issue 2, 2000, Pages 190-195

  Park, Jonghun ^a   Reveliotis, Spyros A ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Augmented marked graphs; Deadlock avoidance; Petri net structural analysis; Sequential resource allocation

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; FINITE AUTOMATA; PETRI NETS; POLYNOMIALS; RESOURCE ALLOCATION;

ALGEBRAIC POLYNOMIAL KERNEL; AUGMENTED MARKED GRAPHS; DEADLOCK AVOIDANCE POLICIES; SEQUENTIAL RESOURCE ALLOCATION;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0033700738     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.843175     Document Type: Article

References (14)

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, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, 1997, pp. 3750-3755.
3. F. Chu and X-L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, pp. 793-804, Dec. 1997.
4. J. Desel and W. Reisig, " Place/transition Petri nets," in Lectures on Petri Nets I: Basic Models, W. Reisig and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1998, vol. 1491, Lecture Notes in Computer Science, pp. 122-173.
5. 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, 1995.
6. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Automat., vol. 13, pp. 347-363, 1997.
7. M. Lawley, S. Reveliotis, and P. Ferreira, "The application and evaluation of banker's algorithm for deadlock-free buffer space allocation in flexible manufacturing systems," Int. J. Flexible Manufac. Syst., vol. 10, pp. 73-100, 1998.
8. M. Lawley, S. Reveliotis, and P. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 14, pp. 796-809, 1998.
9. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 845-857, 1996.
10. S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira, "Polynomial complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Automat. Contr., vol. 42, pp. 1344-1357, 1997.
11. F. Tricas, F. Garcia-Valiez, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with resources," in Proc. 4th Int. Workshop DES, 1998, pp. 273-278.
12. L. A. Wolsey, Integer Programming. New York: Wiley, 1998.
13. 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, 1996.
14. M. Zhou and F. Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.