Deadlock avoidance policies for resource allocation systems with applications to FMS

Placid Mathew Ferreira; M. A. Lawley; S. A. Reveliotis

Deadlock avoidance policies for resource allocation systems with applications to FMS

Placid Mathew Ferreira, M. A. Lawley, S. A. Reveliotis

Research output: Contribution to conference › Paper › peer-review

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)

Library availability

Discover UIUC Full Text

Cite this

Deadlock avoidance policies for resource allocation systems with applications to FMS. / Ferreira, Placid Mathew; Lawley, M. A.; Reveliotis, S. A.

1996. 42-48 Paper presented at Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2), Kauai, HI, USA.

Research output: Contribution to conference › Paper › peer-review

@conference{feef4ea8c852484494b2a80cb8a4ca94,

title = "Deadlock avoidance policies for resource allocation systems with applications to FMS",

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.",

author = "Ferreira, {Placid Mathew} and Lawley, {M. A.} and Reveliotis, {S. A.}",

year = "1996",

language = "English (US)",

pages = "42--48",

note = "Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2) ; Conference date: 18-11-1996 Through 21-11-1996",

}

TY - CONF

T1 - Deadlock avoidance policies for resource allocation systems with applications to FMS

AU - Ferreira, Placid Mathew

AU - Lawley, M. A.

AU - Reveliotis, S. A.

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030382082&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030382082&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0030382082

SP - 42

EP - 48

T2 - Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2)

Y2 - 18 November 1996 through 21 November 1996

ER -

Deadlock avoidance policies for resource allocation systems with applications to FMS

Abstract

Other

ASJC Scopus subject areas

Library availability

Related links

Fingerprint

Cite this