學術產出-Periodical Articles

Article View/Open

Publication Export

Google ScholarTM

政大圖書館

Citation Infomation

題名 A simple modification of deadlock prevention policy of S3PR based on elementary siphons
作者 Chao, Yuh Daniel
趙玉
貢獻者 資管系
關鍵詞 deadlock control; flexible manufacturing systems; Petri nets; siphons
日期 2011-02
上傳時間 7-Apr-2015 15:21:42 (UTC+8)
摘要 We propose to extend our proprietary approach of siphon synthesis to a new simple deadlock control policy. To prevent each strict minimal siphon (SMS) S from becoming empty of tokens, we often add a control place VS and associated arcs to form an invariant to control the number of tokens leaking from S. In a disturbanceless approach, the control (called Type-1) arcs are chosen to disturb the original uncontrolled model as little as possible, to reach as many states as possible. However, this policy may generate new SMSs and hence require adding too many control places and arcs to the original Petri net model. Thus, Ezpeleta et al. moved all output (called Type-2) arcs of each VS to the output transition of the entry (called idle place) of input raw materials to limit their rate into the system, called all-sided, or SMSless approach. This may overly constrain the system so that many reachable states are no longer attainable. We hence propose an intermediate, called the one-sided, approach, which does not generate new SMS, based on our siphon-synthesis theory, by appropriately choosing the locations of Type-1 arcs and it can reach more states than the all-sided approach. The same results can be extended to the elementary-siphon approach by Li et al. except with no need to fine-tune the locations of Type-1 arcs. Comparison with other approaches has been made.
關聯 Transactions of the Institute of Measurement and Control, 33(1), 93-115
資料類型 article
DOI http://dx.doi.org/10.1177/0142331208095674
dc.contributor 資管系-
dc.creator (作者) Chao, Yuh Daniel-
dc.creator (作者) 趙玉-
dc.date (日期) 2011-02-
dc.date.accessioned 7-Apr-2015 15:21:42 (UTC+8)-
dc.date.available 7-Apr-2015 15:21:42 (UTC+8)-
dc.date.issued (上傳時間) 7-Apr-2015 15:21:42 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/74369-
dc.description.abstract (摘要) We propose to extend our proprietary approach of siphon synthesis to a new simple deadlock control policy. To prevent each strict minimal siphon (SMS) S from becoming empty of tokens, we often add a control place VS and associated arcs to form an invariant to control the number of tokens leaking from S. In a disturbanceless approach, the control (called Type-1) arcs are chosen to disturb the original uncontrolled model as little as possible, to reach as many states as possible. However, this policy may generate new SMSs and hence require adding too many control places and arcs to the original Petri net model. Thus, Ezpeleta et al. moved all output (called Type-2) arcs of each VS to the output transition of the entry (called idle place) of input raw materials to limit their rate into the system, called all-sided, or SMSless approach. This may overly constrain the system so that many reachable states are no longer attainable. We hence propose an intermediate, called the one-sided, approach, which does not generate new SMS, based on our siphon-synthesis theory, by appropriately choosing the locations of Type-1 arcs and it can reach more states than the all-sided approach. The same results can be extended to the elementary-siphon approach by Li et al. except with no need to fine-tune the locations of Type-1 arcs. Comparison with other approaches has been made.-
dc.format.extent 295883 bytes-
dc.format.mimetype application/pdf-
dc.relation (關聯) Transactions of the Institute of Measurement and Control, 33(1), 93-115-
dc.subject (關鍵詞) deadlock control; flexible manufacturing systems; Petri nets; siphons-
dc.title (題名) A simple modification of deadlock prevention policy of S3PR based on elementary siphons-
dc.type (資料類型) articleen
dc.identifier.doi (DOI) 10.1177/0142331208095674-
dc.doi.uri (DOI) http://dx.doi.org/10.1177/0142331208095674-