Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR).

Saved in:

Bibliographic Details
Title:	Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR).
Authors:	DANIEL YUH CHAO¹ 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

Description
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]
ISSN:	10162364