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.
Original language | English (US) |
---|---|
Pages | 42-48 |
Number of pages | 7 |
State | Published - 1996 |
Event | Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2) - Kauai, HI, USA Duration: Nov 18 1996 → Nov 21 1996 |
Other
Other | Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2) |
---|---|
City | Kauai, HI, USA |
Period | 11/18/96 → 11/21/96 |
ASJC Scopus subject areas
- Engineering(all)