CASIA OpenIR  > 09年以前成果
On siphon computation for deadlock control in a class of Petri nets
Li, ZhiWu1; Zhou, MengChu2,3
Source PublicationIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
2008-05-01
Volume38Issue:3Pages:667-679
SubtypeArticle
AbstractAs 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.
KeywordAutomated Manufacturing System Deadlock Prevention Elementary Siphon Flexible Manufacturing System (Fms) Petri Net Resource Allocation System Siphon
WOS HeadingsScience & Technology ; Technology
WOS KeywordFLEXIBLE MANUFACTURING SYSTEMS ; RESOURCE-ALLOCATION SYSTEMS ; LIVENESS-ENFORCING SUPERVISORS ; AUTOMATED GUIDED VEHICLES ; PREVENTION POLICY ; MINIMAL SIPHONS ; ELEMENTARY SIPHONS ; AVOIDING DEADLOCK ; MERGED NETS ; AVOIDANCE
Indexed BySCI
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Cybernetics ; Computer Science, Theory & Methods
WOS IDWOS:000258183000014
Citation statistics
Cited Times:84[WOS]   [WOS Record]     [Related Records in WOS]
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/9618
Collection09年以前成果
Affiliation1.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
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li, ZhiWu]'s Articles
[Zhou, MengChu]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li, ZhiWu]'s Articles
[Zhou, MengChu]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li, ZhiWu]'s Articles
[Zhou, MengChu]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.