CASIA OpenIR  > 09年以前成果
A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions
Li, Zhiwu1; Zhou, MengChu2,3; Jeng, MuDer4
Source PublicationIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
2008
Volume5Issue:1Pages:182-188
SubtypeArticle
AbstractThis paper addresses the deadlock problems in flexible manufacturing systems (FMS) by using a Petri net siphon control method and the theory of regions. The proposed policy consists of two stages. The first one, called siphons control, is to add, for every siphon that we identify, a monitor to the original net model such that it is optimally invariant controlled. In the second stage, the theory of regions is utilized to derive the net supervisors such that deadlocks can be prevented. The first-stage work significantly lowers the computational cost compared with the approach where the theory of regions is used alone. An FMS example is presented to illustrate the technique. By varying the markings of given net structures, this paper shows its computational advantages.
KeywordDeadlock Prevention Flexible Manufacturing System Petri Net Siphon Theory Of Regions
WOS HeadingsScience & Technology ; Technology
WOS KeywordFLEXIBLE MANUFACTURING SYSTEMS ; RESOURCE-ALLOCATION SYSTEMS ; FEEDBACK-CONTROL ; AVOIDANCE
Indexed BySCI
Language英语
WOS Research AreaAutomation & Control Systems
WOS SubjectAutomation & Control Systems
WOS IDWOS:000252337000017
Citation statistics
Cited Times:170[WOS]   [WOS Record]     [Related Records in WOS]
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/9622
Collection09年以前成果
Affiliation1.Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
2.Technion Israel Inst Technol, Dept Mech Engn, IL-32000 Haifa, Israel
3.Chinese Acad Sci, Inst Automat, Beijing 100080, Peoples R China
4.Natl Taiwan Ocean Univ, Dept Elect Engn, Chilung 202, Taiwan
Recommended Citation
GB/T 7714
Li, Zhiwu,Zhou, MengChu,Jeng, MuDer. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions[J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING,2008,5(1):182-188.
APA Li, Zhiwu,Zhou, MengChu,&Jeng, MuDer.(2008).A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions.IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING,5(1),182-188.
MLA Li, Zhiwu,et al."A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions".IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING 5.1(2008):182-188.
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
[Jeng, MuDer]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li, Zhiwu]'s Articles
[Zhou, MengChu]'s Articles
[Jeng, MuDer]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li, Zhiwu]'s Articles
[Zhou, MengChu]'s Articles
[Jeng, MuDer]'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.