| dc.contributor | 資管系 | en_US |
| dc.creator (作者) | 趙玉 | zh_TW |
| dc.creator (作者) | Chao, Daniel Yuh | en_US |
| dc.date (日期) | 2012.07 | en_US |
| dc.date.accessioned | 24-Jun-2014 17:00:33 (UTC+8) | - |
| dc.date.available | 24-Jun-2014 17:00:33 (UTC+8) | - |
| dc.date.issued (上傳時間) | 24-Jun-2014 17:00:33 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/66889 | - |
| dc.description.abstract (摘要) | It has been a hot race to design optimal controllers to be maximally permissive with fewest monitors in the shortest amount of time. Recent maximally permissive deadlock prevention controls for S3PR (Systems of Simple Sequential Processes with Resources) reduce the computation burden by considering only a small portion of all forbidding markings and employs much fewer monitors by a linear integer programming method. However, it still requires costly reachability analysis. This paper proposes a method (the first of its kind) to merge several monitors into a single one while not losing states. It achieves the same best results in the literature while avoiding the time-consuming reachability analysis which does not scale well with the size of the nets. | en_US |
| dc.format.extent | 106 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | Advanced Materials Research (Volumes 605 - 607) , Chapter 11: Control Technologies and Intelligent Systems , pp.1819-1822 | en_US |
| dc.subject (關鍵詞) | Deadlock Prevention, Discrete Event System, Flexible Manufacturing System, Petri Net | en_US |
| dc.title (題名) | A Merging Method for Reducing The Number of Monitors for Siphon-Based FMS Maximally Permissive Controllers | en_US |
| dc.type (資料類型) | article | en |
