CASIA OpenIR  > 09年以前成果
On siphon computation for deadlock control in a class of Petri nets
Li, ZhiWu1; Zhou, MengChu2,3
2008-05-01
发表期刊IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
卷号38期号:3页码:667-679
文章类型Article
摘要As a structural object, siphons are well recognized in the analysis and control of deadlocks in resource allocation systems modeled with Petri nets. Many deadlock prevention policies characterize the deadlock behavior of the systems in terms of siphons and utilize this characterization to avoid deadlocks. This paper develops a novel methodology to find interesting siphons for deadlock control purposes in a class of Petri nets, i.e., a system of simple sequential processes with resources ((SPR)-P-3). Resource circuits in an (SPR)-P-3 are first detected, from which, in general, a small portion of emptiable minimal siphons can be derived. The remaining emptiable ones can be found by their composition. A polynomial-time algorithm for finding the set of elementary siphons is proposed, which avoids complete siphon enumeration. It is shown that a dependent siphon can always be controlled by properly supervising its elementary siphons. A computationally efficient deadlock control policy is accordingly developed. Experimental study shows the efficiency of the proposed siphon computation approach.
关键词Automated Manufacturing System Deadlock Prevention Elementary Siphon Flexible Manufacturing System (Fms) Petri Net Resource Allocation System Siphon
WOS标题词Science & Technology ; Technology
关键词[WOS]FLEXIBLE MANUFACTURING SYSTEMS ; RESOURCE-ALLOCATION SYSTEMS ; LIVENESS-ENFORCING SUPERVISORS ; AUTOMATED GUIDED VEHICLES ; PREVENTION POLICY ; MINIMAL SIPHONS ; ELEMENTARY SIPHONS ; AVOIDING DEADLOCK ; MERGED NETS ; AVOIDANCE
收录类别SCI
语种英语
WOS研究方向Computer Science
WOS类目Computer Science, Cybernetics ; Computer Science, Theory & Methods
WOS记录号WOS:000258183000014
引用统计
被引频次:84[WOS]   [WOS记录]     [WOS相关记录]
文献类型期刊论文
条目标识符http://ir.ia.ac.cn/handle/173211/9618
专题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, Lab Complex Syst & Intelligent Sci, Inst Automat, Beijing 100080, Peoples R China
推荐引用方式
GB/T 7714
Li, ZhiWu,Zhou, MengChu. On siphon computation for deadlock control in a class of Petri nets[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2008,38(3):667-679.
APA Li, ZhiWu,&Zhou, MengChu.(2008).On siphon computation for deadlock control in a class of Petri nets.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,38(3),667-679.
MLA Li, ZhiWu,et al."On siphon computation for deadlock control in a class of Petri nets".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 38.3(2008):667-679.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Li, ZhiWu]的文章
[Zhou, MengChu]的文章
百度学术
百度学术中相似的文章
[Li, ZhiWu]的文章
[Zhou, MengChu]的文章
必应学术
必应学术中相似的文章
[Li, ZhiWu]的文章
[Zhou, MengChu]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。