dc.creator (作者) | 趙玉 | zh_TW |
dc.creator (作者) | Chao,Daniel Yuh | - |
dc.date (日期) | 2007 | en_US |
dc.date.accessioned | 17-Jan-2009 15:59:18 (UTC+8) | - |
dc.date.available | 17-Jan-2009 15:59:18 (UTC+8) | - |
dc.date.issued (上傳時間) | 17-Jan-2009 15:59:18 (UTC+8) | - |
dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/26981 | - |
dc.description.abstract (摘要) | Current deadlock control approaches for S3PGR2 (systems of simple sequential processes with general resources requirement) suffer from incorrect or restricted liveness characterisation based on the concept of deadly marked siphons (DMSs) or max-controlled siphons have been demonstrated. Non-live transitions may exist when there are no DMSs. It is live when all siphons are max-controlled - restricted since it may be live when not max-controlled. We replace it with a new liveness condition called max`-controlled siphons. | - |
dc.format | application/ | en_US |
dc.language | en | en_US |
dc.language | en-US | en_US |
dc.language.iso | en_US | - |
dc.relation (關聯) | IEEE Proceedings Control Theory & Applications, 1(4), 933-936 | en_US |
dc.title (題名) | Max` -Controlled Siphons for Liveness of S3PGR2 | en_US |
dc.type (資料類型) | article | en |
dc.identifier.doi (DOI) | 10.1049/iet-cta:20060275 | en_US |
dc.doi.uri (DOI) | http://dx.doi.org/10.1049/iet-cta:20060275 | en_US |