CASIA OpenIR  > 09年以前成果
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
Li, ZhiWu; Zhou, MengChu
2006-11-01
发表期刊IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
卷号2期号:4页码:313-325
文章类型Article
摘要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.
关键词Deadlock Prevention Elementary Siphon Flexible Manufacturing System Petri Net Siphon
WOS标题词Science & Technology ; Technology
关键词[WOS]RESOURCE-ALLOCATION SYSTEMS ; DEADLOCK PREVENTION POLICY ; AVOIDANCE POLICIES ; SHARED RESOURCES ; SIPHONS ; REGIONS ; CELLS ; FMS
收录类别SCI
语种英语
WOS研究方向Automation & Control Systems ; Computer Science ; Engineering
WOS类目Automation & Control Systems ; Computer Science, Interdisciplinary Applications ; Engineering, Industrial
WOS记录号WOS:000242692000010
引用统计
被引频次:176[WOS]   [WOS记录]     [WOS相关记录]
文献类型期刊论文
条目标识符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.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Li, ZhiWu]的文章
[Zhou, MengChu]的文章
百度学术
百度学术中相似的文章
[Li, ZhiWu]的文章
[Zhou, MengChu]的文章
必应学术
必应学术中相似的文章
[Li, ZhiWu]的文章
[Zhou, MengChu]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。