Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

CASIA OpenIR > 09年以前成果

	Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
	Li, ZW ; Zhou, MC
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
	2004
卷号	34 期号:1 页码:38-51
文章类型	Article
摘要	A variety of important Petri-net-based methods to prevent deadlocks arising in flexible manufacturing systems (FMS) are to add some control places and related arcs to strict minimal siphons (SMS) such that no siphon can be emptied. Since the number of minimal siphons grows in general exponentially with respect to a Petri net size, their disadvantages lie in that they often add too many additional places to the net, thereby making the resulting net model much more complex than the original one. This paper explores ways to minimize the new additions of places while achieving the same control purpose. It proposes for the first time the concept of elementary siphons that are a special class of siphons. The set of elementary siphons in a Petri net is generally a proper subset of the set of all SMS. Its smaller cardinality becomes evident in large Petri net models. This paper proves that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented. Compared with the existing methods, the new method requires a much smaller number of control places and, therefore, is suitable for large-scale Petri nets. An FMS example is used to illustrate the proposed concepts and policy, and show the significant advantage over the previous methods.
关键词	Deadlock Prevention Flexible Manufacturing Systems Petri Nets Siphons
WOS标题词	Science & Technology ; Technology
关键词[WOS]	SHARED RESOURCES ; AVOIDANCE ; POLICY
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Cybernetics ; Computer Science, Theory & Methods
WOS记录号	WOS:000188209300004
引用统计	被引频次：561[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/9029
专题	09年以前成果
作者单位	1.Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China 2.Univ Toronto, Syst Control Grp, Dept Elect & Comp Engn, Toronto, ON M5S 3G4, Canada 3.New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA 4.Chinese Acad Sci, Inst Automat, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Li, ZW,Zhou, MC. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2004,34(1):38-51.
APA	Li, ZW,&Zhou, MC.(2004).Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,34(1),38-51.
MLA	Li, ZW,et al."Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 34.1(2004):38-51.