Control of elementary and dependent siphons in Petri nets and their application

CASIA OpenIR > 09年以前成果

	Control of elementary and dependent siphons in Petri nets and their application
	Li, Zhiwu 1; Zhou, MengChu 2,3
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
	2008
卷号	38 期号:1 页码:133-148
文章类型	Article
摘要	The importance of siphons is well recognized in the analysis and control of deadlocks in a Petri net. To minimize the number of siphons that have to be explicitly controlled, siphons in a net are divided in a net into elementary and dependent ones. The concepts of token-rich, token-poor, and equivalent siphons are newly presented. More general conditions under which a dependent siphon can be always marked are established. The existence of dependent siphons in a Petri net is investigated. An algorithm is developed to find the set of elementary siphons in a net system for deadlock control purposes. The application of the proposed elementary siphon concept to the existing deadlock control policies is discussed. A few different-sized manufacturing examples are used to demonstrate the advantages of elementary siphon-based policies. The significant value of the proposed theory via a particular deadlock control policy is shown. Finally, some interesting and open problems are discussed.
关键词	Automated Manufacturing System Deadlock Control Deadlock Prevention Elementary Siphon Flexible Manufacturing System Petri Net
WOS标题词	Science & Technology ; Technology
关键词[WOS]	FLEXIBLE MANUFACTURING SYSTEMS ; DEADLOCK PREVENTION POLICY ; RESOURCE-ALLOCATION SYSTEMS ; MERGED NETS ; AVOIDANCE ; DESIGN ; SUPERVISORS ; LIVENESS ; REGIONS ; FMS
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Cybernetics ; Computer Science, Theory & Methods
WOS记录号	WOS:000251974500013
引用统计	被引频次：178[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/9649
专题	09年以前成果
作者单位	1.Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China 2.New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA 3.Chinese Acad Sci, Inst Automat, Complex Syst & Intelligence Sci Key Lab, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Li, Zhiwu,Zhou, MengChu. Control of elementary and dependent siphons in Petri nets and their application[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2008,38(1):133-148.
APA	Li, Zhiwu,&Zhou, MengChu.(2008).Control of elementary and dependent siphons in Petri nets and their application.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,38(1),133-148.
MLA	Li, Zhiwu,et al."Control of elementary and dependent siphons in Petri nets and their application".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 38.1(2008):133-148.