An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets | |
Li, Shaoyong1; Wei, Xianhong1; Cai, Ying1; Ma, Bingshan1; Hou, Caiqin1; Han, Xilian1; Hong, Liang2 | |
刊名 | ADVANCES IN MECHANICAL ENGINEERING |
2017-11-24 | |
卷号 | 9期号:11 |
关键词 | Flexible manufacturing system Petri nets deadlocks elementary siphons maximally reachable number number of maximally permissive behavior |
ISSN号 | 1687-8132 |
DOI | 10.1177/1687814017734709 |
英文摘要 | Elementary siphons play an important role in designing deadlock prevention policies for flexible manufacturing systems modeling by Petri nets. This article proposes a deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets. First, we solve all elementary siphons and dependent siphons and then add both a control place and a control transition to each elementary siphon so that an extended net system (N', M') is obtained. Second, by constructing an integer programming problem of P-invariants of (N', M'), the controllability test for dependent siphons in N' is performed via this integer programming problem. Accordingly, a few of control places and control transitions are added for those dependent siphons that do not meet controllability as well. Therefore, a live controlled system (N*, M*) with maximally reachable number rather than number of maximally permissive behavior can be achieved. The correctness and efficiency of the proposed deadlock control algorithm is verified by a theoretical analysis and several examples that belong to ordinary Petri nets. Unlike these deadlock prevention policies with number of maximally permissive behavior in the existing literature, the proposed deadlock control algorithm can generally obtain a live controlled system (N*, M*) whose reachable number is the same as that of an original uncontrolled net (N-0, M-0), that is, maximally reachable number is greater than number of maximally permissive behavior. |
资助项目 | National Natural Science Foundation of China (NSFC)[61364004] ; China Scholarship Council Foundation[201408625045] ; Shaanxi Provincial Education Department[16JK1342] ; Lanzhou University of Technology[04-237] ; Alumni Foundation Civil Engineering 77, Lanzhou University of Technology[TM-QK1301] |
WOS研究方向 | Thermodynamics ; Engineering |
语种 | 英语 |
出版者 | SAGE PUBLICATIONS LTD |
WOS记录号 | WOS:000416277900001 |
状态 | 已发表 |
内容类型 | 期刊论文 |
源URL | [http://119.78.100.223/handle/2XXMBERH/33017] |
专题 | 土木工程学院 |
通讯作者 | Li, Shaoyong |
作者单位 | 1.Lanzhou Univ Technol, Sch Civil Engn, 287 Langongping Rd, Lanzhou 730050, Gansu, Peoples R China 2.Xian Polytech Univ, Coll Elect & Informat, Xian, Shaanxi, Peoples R China |
推荐引用方式 GB/T 7714 | Li, Shaoyong,Wei, Xianhong,Cai, Ying,et al. An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets[J]. ADVANCES IN MECHANICAL ENGINEERING,2017,9(11). |
APA | Li, Shaoyong.,Wei, Xianhong.,Cai, Ying.,Ma, Bingshan.,Hou, Caiqin.,...&Hong, Liang.(2017).An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets.ADVANCES IN MECHANICAL ENGINEERING,9(11). |
MLA | Li, Shaoyong,et al."An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets".ADVANCES IN MECHANICAL ENGINEERING 9.11(2017). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论