STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING | |
Li, Shao-Yong2,3; Li, Zhi-Wu1,2,4 | |
刊名 | ASIAN JOURNAL OF CONTROL
![]() |
2012-03 | |
卷号 | 14期号:2页码:384-399 |
关键词 | Petri nets deadlock prevention mixed integer programming control places permissive behavior |
ISSN号 | 1561-8625 |
DOI | 10.1002/asjc.342 |
英文摘要 | Many deadlock prevention policies existing in the literature are to add control places (CPs) to cope with deadlocks in practical systems modeled with Petri nets. Since the number of CPs determined by these policies is not minimal under the condition that a controlled systems is live, this usually leads to a liveness-enforcing Petri net supervisor with redundant CPs. Based on mixed integer programming (MIP) and the concept of implicit places (IPs), this paper develops a novel iterative algorithm of simplifying the structural complexity for a live Petri net. Under the condition that liveness is preserved in the iteration, this algorithm computes a feasible solution of an MIP for each CP to confirm whether redundant CPs exist in the live controlled system. Necessary and redundant CPs are then kept in or removed from the simplified live Petri net, respectively. As a result, a live controlled system with simpler structure is obtained, which directly reduces computational cost in further design and verification phases and possibly leads to more permissive behavior. Effectiveness of this algorithm is proved via a theoretic analysis and examples. |
WOS研究方向 | Automation & Control Systems |
语种 | 英语 |
出版者 | WILEY-BLACKWELL |
WOS记录号 | WOS:000301897100007 |
内容类型 | 期刊论文 |
源URL | [http://119.78.100.223/handle/2XXMBERH/34942] ![]() |
专题 | 土木工程学院 |
作者单位 | 1.Univ Halle Wittenberg, Dept Comp Sci, D-06108 Halle, Germany 2.Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China; 3.Lanzhou Univ Technol, Sch Civil Engn, Lanzhou 730050, Peoples R China; 4.King Saud Univ, Coll Engn, Riyadh 11421, Saudi Arabia; |
推荐引用方式 GB/T 7714 | Li, Shao-Yong,Li, Zhi-Wu. STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING[J]. ASIAN JOURNAL OF CONTROL,2012,14(2):384-399. |
APA | Li, Shao-Yong,&Li, Zhi-Wu.(2012).STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING.ASIAN JOURNAL OF CONTROL,14(2),384-399. |
MLA | Li, Shao-Yong,et al."STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING".ASIAN JOURNAL OF CONTROL 14.2(2012):384-399. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论