CASIA OpenIR  > 09年以前成果
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
Li, ZhiWu; Zhou, MengChu
Source PublicationIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
2006-11-01
Volume2Issue:4Pages:313-325
SubtypeArticle
AbstractThis paper develops a two-stage approach to synthesizing liveness-enforcing supervisors for flexible manufacturing systems (FMS) that can be modeled by a class of Petri nets. First, we find siphons that need to be controlled using a mixed integer programming (MIP) method. This way avoids complete siphon enumeration that is more time-consuming for a sizable plant model than the MIP method. Monitors are added for only those siphons that require them. Second, we rearrange the output arcs of the monitors on condition that liveness is still preserved. The liveness is verified by an MIP-based deadlock detection method instead of much time-consuming reachability analysis. Experimental studies show that the proposed approach is more efficient than the existing ones and can result in more permissive and structurally simpler liveness-enforcing supervisors than all the known existing methods. This paper makes the application of siphon-based deadlock control methods to industrial-size FMS possible.
KeywordDeadlock Prevention Elementary Siphon Flexible Manufacturing System Petri Net Siphon
WOS HeadingsScience & Technology ; Technology
WOS KeywordRESOURCE-ALLOCATION SYSTEMS ; DEADLOCK PREVENTION POLICY ; AVOIDANCE POLICIES ; SHARED RESOURCES ; SIPHONS ; REGIONS ; CELLS ; FMS
Indexed BySCI
Language英语
WOS Research AreaAutomation & Control Systems ; Computer Science ; Engineering
WOS SubjectAutomation & Control Systems ; Computer Science, Interdisciplinary Applications ; Engineering, Industrial
WOS IDWOS:000242692000010
Citation statistics
Cited Times:182[WOS]   [WOS Record]     [Related Records in WOS]
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/9332
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, Beijing 100080, Peoples R China
Recommended Citation
GB/T 7714
Li, ZhiWu,Zhou, MengChu. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,2006,2(4):313-325.
APA Li, ZhiWu,&Zhou, MengChu.(2006).Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets.IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,2(4),313-325.
MLA Li, ZhiWu,et al."Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets".IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2.4(2006):313-325.
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.