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 |
DOI | 10.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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论