Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
文献类型：期刊论文
| 作者 | Li, ZhiWu; Zhou, MengChu |
| 刊名 | IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
 |
| 出版日期 | 2006-11-01 |
| 卷号 | 2期号:4页码:313-325 |
| 关键词 | deadlock prevention elementary siphon flexible manufacturing system Petri net siphon |
| 英文摘要 | This paper develops a two-stage approach to synthesizing liveness-enforcing supervisors for flexible manufacturing systems (FMS) that can be modeled by a class of Petri nets. First, we find siphons that need to be controlled using a mixed integer programming (MIP) method. This way avoids complete siphon enumeration that is more time-consuming for a sizable plant model than the MIP method. Monitors are added for only those siphons that require them. Second, we rearrange the output arcs of the monitors on condition that liveness is still preserved. The liveness is verified by an MIP-based deadlock detection method instead of much time-consuming reachability analysis. Experimental studies show that the proposed approach is more efficient than the existing ones and can result in more permissive and structurally simpler liveness-enforcing supervisors than all the known existing methods. This paper makes the application of siphon-based deadlock control methods to industrial-size FMS possible. |
| WOS标题词 | Science & Technology ; Technology |
| 类目[WOS] | Automation & Control Systems ; Computer Science, Interdisciplinary Applications ; Engineering, Industrial |
| 研究领域[WOS] | Automation & Control Systems ; Computer Science ; Engineering |
| 关键词[WOS] | RESOURCE-ALLOCATION SYSTEMS ; DEADLOCK PREVENTION POLICY ; AVOIDANCE POLICIES ; SHARED RESOURCES ; SIPHONS ; REGIONS ; CELLS ; FMS |
| 收录类别 | SCI |
| 语种 | 英语 |
| WOS记录号 | WOS:000242692000010 |
| 公开日期 | 2015-12-24 |
| 源URL | [http://ir.ia.ac.cn/handle/173211/9332]  |
| 专题 | 自动化研究所_09年以前成果 |
| 作者单位 | 1.Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China 2.New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA 3.Chinese Acad Sci, Inst Automat, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Li, ZhiWu,Zhou, MengChu. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,2006,2(4):313-325. |
| APA | Li, ZhiWu,&Zhou, MengChu.(2006).Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets.IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,2(4),313-325. |
| MLA | Li, ZhiWu,et al."Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets".IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2.4(2006):313-325. |
入库方式： OAI收割
来源：自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。