dc.contributor | 資管系 | |
dc.creator (作者) | 趙玉 | zh_TW |
dc.creator (作者) | Chao, Daniel Yuh | |
dc.date (日期) | 2009-11 | |
dc.date.accessioned | 12-Jan-2015 15:34:24 (UTC+8) | - |
dc.date.available | 12-Jan-2015 15:34:24 (UTC+8) | - |
dc.date.issued (上傳時間) | 12-Jan-2015 15:34:24 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/72839 | - |
dc.description.abstract (摘要) | Current deadlock control approaches for WS3PR (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 3PR(systems of simple sequential processes with resources) to WS3PR (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 WS3PR by adding control nodes and arcs similar to that for S3PR. | |
dc.format.extent | 437292 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.relation (關聯) | Journal of Information Science and Engineering,25(6),1963-1978 | |
dc.subject (關鍵詞) | Petri nets; siphons; traps; FMS; liveness; deadlock; control | |
dc.title (題名) | Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR) | |
dc.type (資料類型) | article | en |