dc.contributor | 資管系 | en_US |
dc.creator (作者) | 趙玉 | zh_TW |
dc.creator (作者) | CHAO,DANIEL YUH | - |
dc.date (日期) | 2010.07 | en_US |
dc.date.accessioned | 11-Nov-2013 09:38:23 (UTC+8) | - |
dc.date.available | 11-Nov-2013 09:38:23 (UTC+8) | - |
dc.date.issued (上傳時間) | 11-Nov-2013 09:38:23 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/61554 | - |
dc.description.abstract (摘要) | Current deadlock control approaches for S^3PGR^2 (systems of simple sequential processes with general resources requirement) suffer from incorrect or restricted liveness characterization based on the concept of deadly marked siphons (DMS) and max-controlled siphons. Dead transitions may exist when there are no DMS and the net model is in livelock states. A new liveness condition is developed based on the so-called max^*-controlled siphons to replace that of the restrictive max-controlled siphons. A deadlock control policy is further proposed for WS^3PR (weighted S^3PR (systems of simple sequential processes with resources)) by adding control nodes and arcs for elementary siphons only, reducing significantly the number of monitors compared with existing methods. A counter example is shown to indicate that Li`s characteristic P-vector must be weighted. The controlled model for WS^3PR is proposed and its liveness property is proved. | en_US |
dc.format.extent | 332670 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en_US | - |
dc.relation (關聯) | Journal of Information Science and Engineering, 26(3), 1121-1136 | en_US |
dc.subject (關鍵詞) | flexible manufacturing systems;deadlock control;Petri nets;siphons;elementary siphons | en_US |
dc.title (題名) | Weighted Characteristic P-vector and Deadlock Control of WS3PR | en_US |
dc.type (資料類型) | article | en |