Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/67036
題名: | comments on Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems | 作者: | 趙玉 Chao, Daniel Y. |
貢獻者: | 資管系 | 關鍵詞: | Petri nets ; Flexible manufacturing system ; Deadlock prevention | 日期: | 2011 | 上傳時間: | 30-Jun-2014 | 摘要: | 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 |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
625-629.pdf | 277.46 kB | Adobe PDF2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.