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 |
刊名 | IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
![]() |
出版日期 | 2008 |
卷号 | 5期号:1页码:182-188 |
关键词 | deadlock prevention flexible manufacturing system Petri net siphon theory of regions |
英文摘要 | This 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. |
WOS标题词 | Science & Technology ; Technology |
类目[WOS] | Automation & Control Systems |
研究领域[WOS] | Automation & Control Systems |
关键词[WOS] | FLEXIBLE MANUFACTURING SYSTEMS ; RESOURCE-ALLOCATION SYSTEMS ; FEEDBACK-CONTROL ; AVOIDANCE |
收录类别 | SCI |
语种 | 英语 |
WOS记录号 | WOS:000252337000017 |
公开日期 | 2015-12-24 |
源URL | [http://ir.ia.ac.cn/handle/173211/9622] ![]() |
专题 | 自动化研究所_09年以前成果 |
作者单位 | 1.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 |
推荐引用方式 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. |
入库方式: OAI收割
来源:自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。