Deadlock avoidance policies for resource allocation systems with applications to FMS Conference Paper uri icon

abstract

  • The problem of deadlock avoidance for a class of Resource Allocation Systems (RAS) called the Single-Unit RAS (SU-RAS) is discussed with particular application to buffer space allocation in a Flexible Manufacturing System. For a class of SU-RAS, it is shown that the problem of obtaining the maximally permissive deadlock avoidance policy is of polynomial complexity. Suboptimal policies (which are not maximally permissive) for SU-RAS are also discussed.

published proceedings

  • IEEE Symposium on Emerging Technologies & Factory Automation, ETFA

author list (cited authors)

  • Ferreira, P. M., Lawley, M. A., & Reveliotis, S. A.

complete list of authors

  • Ferreira, PM||Lawley, MA||Reveliotis, SA

publication date

  • December 1996