Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR).
Saved in:
| Title: | Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR). |
|---|---|
| Authors: | DANIEL YUH CHAO1 yaw@mis.nccu.edu.tw |
| Source: | Journal of Information Science & Engineering. Nov2009, Vol. 25 Issue 6, p1963-1977. 15p. 5 Diagrams, 3 Charts. |
| Subjects: | Sequential processing (Computer science), Siphons, Sequential analysis, Mathematical models, Electronic data processing |
| Abstract: | Current deadlock control approaches for WS³PR (Weighted Systems of Simple Sequential Processes with Resources Requirement) suffer from incorrect liveness characterization based on the concept of deadly marked siphons (DMS). We discover that nonlive transitions may exist even though there are no DMS. That is, the net model may be weakly live or in livelock states under no DMS. It is live under a new liveness condition: all siphons must be max*-controlled. We extend the liveness analysis for S³PR (systems of simple sequential processes with resources) to WS³PR (Weighted Systems of Simple Sequential Processes with Resources Requirement). We develop a new liveness condition called max*-controlled siphons to replace that of the absence of empty siphons. We propose further a deadlock control policy for WS³PR by adding control nodes and arcs similar to that for S³PR. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Information Science & Engineering is the property of Institute of Information Science, Academia Sinica and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 45025566 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR). – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22DANIEL+YUH+CHAO%22">DANIEL YUH CHAO</searchLink><relatesTo>1</relatesTo><i> yaw@mis.nccu.edu.tw</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Information+Science+%26+Engineering%22">Journal of Information Science & Engineering</searchLink>. Nov2009, Vol. 25 Issue 6, p1963-1977. 15p. 5 Diagrams, 3 Charts. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Sequential+processing+%28Computer+science%29%22">Sequential processing (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Siphons%22">Siphons</searchLink><br /><searchLink fieldCode="DE" term="%22Sequential+analysis%22">Sequential analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+models%22">Mathematical models</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Current deadlock control approaches for WS³PR (Weighted Systems of Simple Sequential Processes with Resources Requirement) suffer from incorrect liveness characterization based on the concept of deadly marked siphons (DMS). We discover that nonlive transitions may exist even though there are no DMS. That is, the net model may be weakly live or in livelock states under no DMS. It is live under a new liveness condition: all siphons must be max*-controlled. We extend the liveness analysis for S³PR (systems of simple sequential processes with resources) to WS³PR (Weighted Systems of Simple Sequential Processes with Resources Requirement). We develop a new liveness condition called max*-controlled siphons to replace that of the absence of empty siphons. We propose further a deadlock control policy for WS³PR by adding control nodes and arcs similar to that for S³PR. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Journal of Information Science & Engineering is the property of Institute of Information Science, Academia Sinica and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=45025566 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 15 StartPage: 1963 Subjects: – SubjectFull: Sequential processing (Computer science) Type: general – SubjectFull: Siphons Type: general – SubjectFull: Sequential analysis Type: general – SubjectFull: Mathematical models Type: general – SubjectFull: Electronic data processing Type: general Titles: – TitleFull: Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR). Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: DANIEL YUH CHAO IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 11 Text: Nov2009 Type: published Y: 2009 Identifiers: – Type: issn-print Value: 10162364 Numbering: – Type: volume Value: 25 – Type: issue Value: 6 Titles: – TitleFull: Journal of Information Science & Engineering Type: main |
| ResultId | 1 |
