Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
Spyros A. Reveliotis · Engineering and management innovation series/Engineering and management innovation · 2007
As many contemporary technological applications move to operational modes of more extensive and flexible automation, there is a rising need to design and control the underlying resource allocation not only for efficiency, but also for logical correctness and internal consistency. The material presented in this chapter offers a unifying and comprehensive treatment of a class of policies that have been proposed as an effective and efficient solution to this emerging class of logical control problems.