CASIA OpenIR  > 09年以前成果
Control of elementary and dependent siphons in Petri nets and their application
Li, Zhiwu1; Zhou, MengChu2,3
Source PublicationIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
2008
Volume38Issue:1Pages:133-148
SubtypeArticle
AbstractThe 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.
KeywordAutomated Manufacturing System Deadlock Control Deadlock Prevention Elementary Siphon Flexible Manufacturing System Petri Net
WOS HeadingsScience & Technology ; Technology
WOS KeywordFLEXIBLE MANUFACTURING SYSTEMS ; DEADLOCK PREVENTION POLICY ; RESOURCE-ALLOCATION SYSTEMS ; MERGED NETS ; AVOIDANCE ; DESIGN ; SUPERVISORS ; LIVENESS ; REGIONS ; FMS
Indexed BySCI
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Cybernetics ; Computer Science, Theory & Methods
WOS IDWOS:000251974500013
Citation statistics
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/9649
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, Inst Automat, Complex Syst & Intelligence Sci Key Lab, Beijing 100080, Peoples R China
Recommended Citation
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.
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.