學術產出-Periodical Articles

Article View/Open

Publication Export

Google ScholarTM

政大圖書館

Citation Infomation

  • No doi shows Citation Infomation
題名 A simple Suboptimal siphon-based control model of a well-known S3PR
作者 趙玉
Chao, Daniel Yuh;Liu, Guan Jun
貢獻者 資管系
關鍵詞 Petri nets;deadlock;control;siphon;optimization
日期 2010-12
上傳時間 12-Jan-2015 15:33:45 (UTC+8)
摘要 Siphon-based deadlock control suffers from reaching fewer states than the maximally permissive one. We report an alternative control to reach the same good states as that based on the theory of regions, but with fewer monitors, by refining some monitors into several monitors with smaller controller regions. More states can be reached since the controller region is less disturbed by covering only a place in a subregion where only one place is marked at any reachable marking. Formal proof of the correctness is provided.
關聯 Asian Journal of Control,14(1),163-172
資料類型 article
dc.contributor 資管系
dc.creator (作者) 趙玉zh_TW
dc.creator (作者) Chao, Daniel Yuh;Liu, Guan Jun
dc.date (日期) 2010-12
dc.date.accessioned 12-Jan-2015 15:33:45 (UTC+8)-
dc.date.available 12-Jan-2015 15:33:45 (UTC+8)-
dc.date.issued (上傳時間) 12-Jan-2015 15:33:45 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/72836-
dc.description.abstract (摘要) Siphon-based deadlock control suffers from reaching fewer states than the maximally permissive one. We report an alternative control to reach the same good states as that based on the theory of regions, but with fewer monitors, by refining some monitors into several monitors with smaller controller regions. More states can be reached since the controller region is less disturbed by covering only a place in a subregion where only one place is marked at any reachable marking. Formal proof of the correctness is provided.
dc.format.extent 124 bytes-
dc.format.mimetype text/html-
dc.relation (關聯) Asian Journal of Control,14(1),163-172
dc.subject (關鍵詞) Petri nets;deadlock;control;siphon;optimization
dc.title (題名) A simple Suboptimal siphon-based control model of a well-known S3PR
dc.type (資料類型) articleen