Generalized agebraic deadlock avoidance policies for sequential resource allocation systems

IEEE Transactions on Automatic Control

Volumn 52, Issue 12, 2007, Pages 2345-2350

  Reveliotis, Spyros A ^a   Roszkowska, Elzbieta ^b   Choi, Jin Young ^c  

^a Georgia Institute of Technology   (United States)

^b WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

^c Ajou University   (South Korea)

Author keywords

Deadlock avoidance; Discrete event systems (DES); Mathematical; Programming; Resource allocation systems (RAS); Supervisory control

Indexed keywords

COMPUTER PROGRAMMING; DISCRETE EVENT SIMULATION; MATHEMATICAL MODELS; RESOURCE ALLOCATION; SCADA SYSTEMS;

DEADLOCK AVOIDANCE; SEQUENTIAL RESOURCE ALLOCATION SYSTEM;

COMPUTER SYSTEM RECOVERY;

EID: 38149109722     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2007.910701     Document Type: Article

References (14)

1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer Academic, 1999.
2. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer, 2005.
3. M. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. Singapore: Marcel Dekker, 2004.
4. M. Lawley, S. Reveliotis, and P. Ferreira, "FMS structural control and the neighborhood policy, Part 1: Correctness and scalability," IIE Trans., vol. 29, pp. 877-887, 1997.
5. M. Lawley, S. Reveliotis, and P. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 14, pp. 796-809, 1998.
6. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, pp. 38-51, 2004.
7. S. A. Reveliotis, "Implicit siphon control and its role in the liveness enforcing supervision of sequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, pp. 319-328, 2007.
8. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol. 19, pp. 137-141, 2003.
9. M. Uzam, "An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions," Int. J. Adv. Manufact. Technol., vol. 19, pp. 192-208, 2002.
10. E. Badouel and P. Darondeau, W. Reisig and G. Rozenberg, Eds., "Theory of regions," In LNCS 1491_Advances in Petri Nets: Basic Models, pp. 529-586, 1998, Springer-Verlag.
11. S. A. Reveliotis and J. Y. Choi, "Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions," Proc. ATPN 2006, pp. 322-341, 2006.
12. W. L.Winston, Introduction To Mathematical Programming: Applications and Algorithms, 2nd ed. Belmont, CA: Duxbury, 1995.
13. T. Araki, Y. Sugiyama, and T. Kasami, "Complexity of the deadlock avoidance problem," in 2nd IBM Symp. Math. Found. Comp. Sci., 1977, pp. 229-257, IBM.
14. N. J. Nilsson, The Mathematical Foundations of Learning Machines. San Mateo, CA: Morgan Kaufmann, 1990.