學術產出-Periodical Articles

Article View/Open

Publication Export

Google ScholarTM

政大圖書館

Citation Infomation

題名 Revised dependent siphons
作者 趙玉
Chao, Daniel Yuh
貢獻者 資管系
關鍵詞 Petri nets; Siphons; Deadlock prevention
日期 2008-08
上傳時間 12-Jan-2015 15:34:37 (UTC+8)
摘要 The number of problematic siphons grows exponentially with the size of net, resulting in many monitors to prevent from reaching deadlocks. Li and Zhou propose the concept of elementary siphons so that many problematic siphons, called dependent siphons, do not need monitors. They indicate that it is not limited to simple sequential processes with resources (S3PR) and may be extended to arbitrary nets. S3PMR is a generalization of S3PR by allowing a job place to use more than one resource. Also, when entering the next operation place, it may not release the resource. We demonstrate a counter-example by showing that the dependent condition may be relaxed so that an elementary siphon, while requiring a monitor previously, may be controlled after some elementary siphons get controlled.
關聯 Int J Adv Manuf Technol,43(1),189-190
資料類型 article
DOI http://dx.doi.org/10.1007/s00170-008-1684-1
dc.contributor 資管系
dc.creator (作者) 趙玉zh_TW
dc.creator (作者) Chao, Daniel Yuh
dc.date (日期) 2008-08
dc.date.accessioned 12-Jan-2015 15:34:37 (UTC+8)-
dc.date.available 12-Jan-2015 15:34:37 (UTC+8)-
dc.date.issued (上傳時間) 12-Jan-2015 15:34:37 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/72840-
dc.description.abstract (摘要) The number of problematic siphons grows exponentially with the size of net, resulting in many monitors to prevent from reaching deadlocks. Li and Zhou propose the concept of elementary siphons so that many problematic siphons, called dependent siphons, do not need monitors. They indicate that it is not limited to simple sequential processes with resources (S3PR) and may be extended to arbitrary nets. S3PMR is a generalization of S3PR by allowing a job place to use more than one resource. Also, when entering the next operation place, it may not release the resource. We demonstrate a counter-example by showing that the dependent condition may be relaxed so that an elementary siphon, while requiring a monitor previously, may be controlled after some elementary siphons get controlled.
dc.format.extent 245773 bytes-
dc.format.mimetype application/pdf-
dc.relation (關聯) Int J Adv Manuf Technol,43(1),189-190
dc.subject (關鍵詞) Petri nets; Siphons; Deadlock prevention
dc.title (題名) Revised dependent siphons
dc.type (資料類型) articleen
dc.identifier.doi (DOI) 10.1007/s00170-008-1684-1en_US
dc.doi.uri (DOI) http://dx.doi.org/10.1007/s00170-008-1684-1en_US