Publications-Periodical Articles

Article View/Open

Publication Export

Google ScholarTM

NCCU Library

Citation Infomation

Related Publications in TAIR

題名 comments on Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems
作者 趙玉
Chao, Daniel Y.
貢獻者 資管系
關鍵詞 Petri nets ; Flexible manufacturing system ; Deadlock prevention
日期 2011.08
上傳時間 30-Jun-2014 18:23:09 (UTC+8)
摘要 Region theory can synthesize maximally permissive supervisors by solving a set of inequalities based on the marking/transition-separation instances (MTSIs). It is infeasible to solve these inequalities for either a sizable net or a small net with a sizable initial marking. Huang et al. [1] propose novel crucial MTSIs to reduce the number of MTSIs. Experimental results show that the proposed control policy is the most efficient algorithm among the closely related approaches. One example shows that it not only reaches all live states but also employs fewer control arcs than that by Li et al. Huang et al. offer no hints on why it employs fewer control arcs. This paper develops theory to explain the physics behind.
關聯 International Journal of Advanced Manufacturing Technology., 60(5), 625-629
資料類型 article
DOI http://dx.doi.org/10.1007/s00170-011-3628-4
dc.contributor 資管系en_US
dc.creator (作者) 趙玉zh_TW
dc.creator (作者) Chao, Daniel Y.en_US
dc.date (日期) 2011.08en_US
dc.date.accessioned 30-Jun-2014 18:23:09 (UTC+8)-
dc.date.available 30-Jun-2014 18:23:09 (UTC+8)-
dc.date.issued (上傳時間) 30-Jun-2014 18:23:09 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/67036-
dc.description.abstract (摘要) Region theory can synthesize maximally permissive supervisors by solving a set of inequalities based on the marking/transition-separation instances (MTSIs). It is infeasible to solve these inequalities for either a sizable net or a small net with a sizable initial marking. Huang et al. [1] propose novel crucial MTSIs to reduce the number of MTSIs. Experimental results show that the proposed control policy is the most efficient algorithm among the closely related approaches. One example shows that it not only reaches all live states but also employs fewer control arcs than that by Li et al. Huang et al. offer no hints on why it employs fewer control arcs. This paper develops theory to explain the physics behind.en_US
dc.format.extent 284121 bytes-
dc.format.mimetype application/pdf-
dc.language.iso en_US-
dc.relation (關聯) International Journal of Advanced Manufacturing Technology., 60(5), 625-629en_US
dc.subject (關鍵詞) Petri nets ; Flexible manufacturing system ; Deadlock preventionen_US
dc.title (題名) comments on Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systemsen_US
dc.type (資料類型) articleen
dc.identifier.doi (DOI) 10.1007/s00170-011-3628-4en_US
dc.doi.uri (DOI) http://dx.doi.org/10.1007/s00170-011-3628-4en_US