CORC  > 兰州理工大学  > 兰州理工大学  > 土木工程学院
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets
Li, Shao Yong1,2; Li, Zhi Wu2,3,4; Hu, He Suan2
刊名INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING
2011
卷号24期号:8页码:710-725
关键词deadlock prevention Petri net flexible manufacturing system siphon liveness-enforcing supervisor
ISSN号0951-192X
DOI10.1080/0951192X.2011.575182
英文摘要

Siphons can be used to characterise deadlock states and solve deadlock problems in Petri nets that model flexible manufacturing systems. This article presents a novel deadlock prevention policy for Petri nets using siphon extraction. At each iteration, a siphon extraction algorithm finds a maximal deadly marked siphon, classifies the places in it, and decides a necessary siphon from the classified places. Accordingly, the deadlock prevention policy adds a proper control place (CP) to make each necessary siphon marked or max-controlled until the controlled system is live. By adopting the classification of places, deciding necessary siphons, and adding the proper CPs, the proposed deadlock prevention policy avoids a complete siphon enumeration, adds a small number of CPs, and leads to a liveness-enforcing supervisor with a simple structure compared with closely related approaches in the literature. Finally, a case study shows its appealing behavioural permissiveness.

资助项目'863' High-tech Research and Development Program of China[2008AA04Z109]
WOS研究方向Computer Science ; Engineering ; Operations Research & Management Science
语种英语
出版者TAYLOR & FRANCIS LTD
WOS记录号WOS:000296271800002
状态已发表
内容类型期刊论文
源URL[http://119.78.100.223/handle/2XXMBERH/35168]  
专题土木工程学院
通讯作者Li, Shao Yong
作者单位1.Lanzhou Univ Technol, Sch Civil Engn, Lanzhou 730050, Peoples R China
2.Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
3.King Saud Univ, Coll Engn, Riyadh 11421, Saudi Arabia
4.Univ Halle Wittenberg, Inst Comp Sci, D-06120 Halle, Germany
推荐引用方式
GB/T 7714
Li, Shao Yong,Li, Zhi Wu,Hu, He Suan. Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets[J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING,2011,24(8):710-725.
APA Li, Shao Yong,Li, Zhi Wu,&Hu, He Suan.(2011).Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets.INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING,24(8),710-725.
MLA Li, Shao Yong,et al."Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets".INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING 24.8(2011):710-725.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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


©版权所有 ©2017 CSpace - Powered by CSpace