DC Field | Value | Language |
---|---|---|
dc.contributor.author | Park, Jonghun | ko |
dc.contributor.author | Reveliotis, SA | ko |
dc.date.accessioned | 2013-02-28T03:39:18Z | - |
dc.date.available | 2013-02-28T03:39:18Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2000-04 | - |
dc.identifier.citation | IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.16, no.2, pp.190 - 195 | - |
dc.identifier.issn | 1042-296X | - |
dc.identifier.uri | http://hdl.handle.net/10203/72576 | - |
dc.description.abstract | Deadlock avoidance in sequential resource allocation systems is a well-defined problem in discrete event system Literature, as it underlies the operation of many contemporary technological systems. In the past, the problem has been studied by means of a number of formal frameworks, including the finite-state automata (FSA) and Petri nets (PN's). In this paper, it is shown that a significant class of deadlock avoidance policies (DAP's), known as algebraic polynomial kernel (PK)-DAP's, originally developed in the FSA paradigm, can be analyzed using recent results from PN structural analysis. Furthermore, the approach to DAP analysis and design taken in this paper has led to the effective generalization of the currently available algebraic PK-DAP's, and to their enrichment with new and more flexible policy implementations. | - |
dc.language | English | - |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.subject | FLEXIBLE MANUFACTURING SYSTEMS | - |
dc.subject | PETRI NETS | - |
dc.title | Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems | - |
dc.type | Article | - |
dc.identifier.wosid | 000087432200008 | - |
dc.identifier.scopusid | 2-s2.0-0033700738 | - |
dc.type.rims | ART | - |
dc.citation.volume | 16 | - |
dc.citation.issue | 2 | - |
dc.citation.beginningpage | 190 | - |
dc.citation.endingpage | 195 | - |
dc.citation.publicationname | IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION | - |
dc.identifier.doi | 10.1109/70.843175 | - |
dc.contributor.localauthor | Park, Jonghun | - |
dc.contributor.nonIdAuthor | Reveliotis, SA | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | augmented marked graphs | - |
dc.subject.keywordAuthor | deadlock avoidance | - |
dc.subject.keywordAuthor | Petri net structural analysis | - |
dc.subject.keywordAuthor | sequential resource allocation | - |
dc.subject.keywordPlus | FLEXIBLE MANUFACTURING SYSTEMS | - |
dc.subject.keywordPlus | PETRI NETS | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.