dc.contributor | 資管系 | en_US |
dc.creator (作者) | 趙玉 | zh_TW |
dc.creator (作者) | Chao, Yuh | en_US |
dc.date (日期) | 2014.06 | en_US |
dc.date.accessioned | 15-Oct-2014 14:44:06 (UTC+8) | - |
dc.date.available | 15-Oct-2014 14:44:06 (UTC+8) | - |
dc.date.issued (上傳時間) | 15-Oct-2014 14:44:06 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/70602 | - |
dc.description.abstract (摘要) | Recent maximally permissive deadlock prevention controls for systems of simple sequential processes with resources (S3PR) also aim at constructing simplest structures in the shortest amount of time for flexible manufacturing systems modelled by Petri nets. The paper in Liu et al. (2013, IMA J. Math. Control Inf., doi:10.1093/imamci/dnt029) proposes a method to merge several monitors into a single one while not losing the live states. It achieves the same best results in the existing literature while avoiding the time-consuming reachability analysis which does not scale well with the large size of the nets. For a well-known benchmark, the method needs one more monitor than other approaches. Thus, siphon-based merging may not achieve minimal configuration. Although we could reduce one monitor, which monitor to choose to merge seem to be ad hoc. It is unclear how to select a monitor to reduce for large nets. This paper tackles such an issue successfully. | en_US |
dc.format.extent | 185 bytes | - |
dc.format.mimetype | text/html | - |
dc.language.iso | en_US | - |
dc.relation (關聯) | IMA Journal of Mathematical Control and Information, First published online: July 29, 2014 | en_US |
dc.subject (關鍵詞) | flexible manufacturing system;Petri net;deadlock;siphon | en_US |
dc.title (題名) | Improvement on `A Merging Method for the Siphon-Based FMS Maximally Permissive Controllers with Simpler Structures` | en_US |
dc.type (資料類型) | article | en |
dc.identifier.doi (DOI) | 10.1093/imamci/dnu034 | en_US |
dc.doi.uri (DOI) | http://dx.doi.org/10.1093/imamci/dnu034 | en_US |