STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING

doi:10.1002/asjc.342

CORC > 兰州理工大学 > 兰州理工大学 > 土木工程学院

	STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING
	Li, Shao-Yong 2,3; Li, Zhi-Wu 1,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.