| dc.contributor | 資管系 | zh_TW |
| dc.creator (作者) | 趙玉 | zh_TW |
| dc.creator (作者) | Wu, Wen Hui | en_US |
| dc.creator (作者) | Chao, Daniel Yuh | en_US |
| dc.date (日期) | 2016-08 | |
| dc.date.accessioned | 15-Sep-2017 16:10:17 (UTC+8) | - |
| dc.date.available | 15-Sep-2017 16:10:17 (UTC+8) | - |
| dc.date.issued (上傳時間) | 15-Sep-2017 16:10:17 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/113057 | - |
| dc.description.abstract (摘要) | Monitors are added to problematic siphons to avoid deadlocks. Li and Zhou (2004, 2006a,b, 2008a,b,c) add monitors to elementary siphons only while controlling the rest-dependent siphons to save on costs. After failing a marking linear inequality (MLI) test, Li and Zhou perform a linear integer programming (LIP) test (NP-hard). We proposed a new MLI test earlier to avoid the LIP and extended it to systems of simple sequential processes with general resource requirements (S3PGR2) for strongly dependent siphons (SDSs). The control policy for weakly dependent siphons (WDSs) is rather conservative due to some negative terms in the MLI. This paper shows that WDS and SDS have the same controllability (i.e. MLI). As a result, the control for WDS need no longer be that conservative. We also develop an optimization (by redundancy elimination) of the computation required for the LIP test to ensure deadlock prevention of systems of simple sequential processes with resources (S3PR). A favourable result for this policy is that any n-dependent (n > 2) WDS (similar to SDS) needs no monitor and hence the complexity for synthesizing a controller becomes polynomial. Application to a slight variant of a well-known benchmark is illustrated. | en_US |
| dc.format.extent | 208 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.relation (關聯) | Transactions of the Institute of Measurement and Control, 38(8), 941-955 | en_US |
| dc.subject (關鍵詞) | Benchmarking; Computer system recovery; Integer programming; Petri nets; Deadlock prevention; Dependent siphon; Elementary siphon; Linear inequalities; Linear integer programming; Redundancy elimination; Resource requirements; Sequential process; Siphons | en_US |
| dc.title (題名) | Controllability of weakly dependent siphons under elementary-siphon control | en_US |
| dc.type (資料類型) | article | |
| dc.identifier.doi (DOI) | 10.1177/0142331214568606 | |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1177/0142331214568606 | |
