Jonghun Park, Spyros A. Reveliotis  Home/Search
Context Related
| gatech.edu/~jonghun/pu...modCDRUN.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gatech.edu/~jonghu...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper considers the deadlock avoidance problem for the class of conjunctive / disjunctive (sequential) resource allocation systems (C/D-RAS), which allows for multiple resource acquisitions and flexible routings. First, a new siphon-based characterization for the liveness of Petri nets (PN's) modeling C/D-RAS is developed, and subsequently, this characterization facilitates the development of a polynomial-complexity deadlock avoidance policy (DAP) that is appropriate for the considered RAS ... (Update)
Context of citations to this paper: More
...correct solutions to it, that are, furthermore, computationally tractable. Indicative examples of this research can be found in [2] [6]. All the aforementioned work presumes that the system is totally controllable, i.e. 1) that all the resource allocation events taking...
.... of RUN DAP in the Petri net formalism, and its redefinition so that it covers the broader class of Conjunctive Disjunctive RAS, can be found in [1]. For the sake of brevity, it is presumed in the following that the reader is familiar with the material of [2] The counter...
Cited by: More
Model Checker Aided Design of a Controller for a Wafer .. - Hendriks, van den.. (Correct)
Siphon-Based Characterization of Liveness and.. - Reveliotis (Correct)
Liveness-Enforcing Supervision for Resource Allocation.. - Park, Reveliotis (2001) (Correct)
Similar documents (at the sentence level):
26.5%: Deadlock Avoidance in Sequential Resource Allocation Systems .. - Park, Reveliotis (2000) (Correct)
Similar documents based on text: More All
1.0: Decentralized Optimal Traffic Engineering in the Internet - Lagoa, Che (2000) (Correct)
0.8: Simultaneo, Chip-Jo, and Underfill Assembly TechnozW9 fo.. - Do Ry Assembly (Correct)
0.7: AVO analysis in finely layered azimuthally anisotropic media - Grechka (Correct)
Related documents from co-citation: More All
9: Polynomial complexity deadlock avoidance policies for sequential resource alloca.. - Reveliotis, Lawley et al. - 1997
8: Deadlock avoidance policies for automated manufacturing cells - Reveliotis, Ferreira - 1996
7: Event-based feedback control for deadlock avoidance in flexible production syste.. - Fanti, Maione et al. - 1997
BibTeX entry: (Update)
J. Park and S. A. Reveliotis. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. Technical Report (submitted to IEEE Transactions on Automatic Control), School of Industrial & Systems Engineering, Georgia Institute of Technology, 2000. http://citeseer.ist.psu.edu/article/park00deadlock.html More
@misc{ park00deadlock,
author = "J. Park and S. Reveliotis",
title = "Deadlock avoidance in sequential resource allocation systems with multiple
resource acquisitions and flexible routings",
text = "J. Park and S. A. Reveliotis. Deadlock avoidance in sequential resource
allocation systems with multiple resource acquisitions and flexible routings.
Technical Report (submitted to IEEE Transactions on Automatic Control),
School of Industrial & Systems Engineering, Georgia Institute of Technology,
2000.",
year = "2000",
url = "citeseer.ist.psu.edu/article/park00deadlock.html" }
Citations (may not include all citations):1 the deadlo ck avo idance pr o lem (context) - mplexity - 1977
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.isye.gatech.edu/~jonghun/publications.html): More
Structural Analysis and Control of Resource Allocation Systems.. - Park (2000) (Correct)
A Distributed, Event-Driven Control Architecture.. - Park, Reveliotis.. (1999) (Correct)
A Polynomial-Complexity Deadlock Avoidance Policy for.. - Park, Reveliotis (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC