On siphon computation for deadlock control in a class of Petri nets
文献类型：期刊论文
| 作者 | Li, ZhiWu1; Zhou, MengChu2,3 |
| 刊名 | IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
 |
| 出版日期 | 2008-05-01 |
| 卷号 | 38期号:3页码:667-679 |
| 关键词 | automated manufacturing system deadlock prevention elementary siphon flexible manufacturing system (FMS) Petri net resource allocation system siphon |
| 英文摘要 | As 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. |
| WOS标题词 | Science & Technology ; Technology |
| 类目[WOS] | Computer Science, Cybernetics ; Computer Science, Theory & Methods |
| 研究领域[WOS] | Computer Science |
| 关键词[WOS] | FLEXIBLE MANUFACTURING SYSTEMS ; RESOURCE-ALLOCATION SYSTEMS ; LIVENESS-ENFORCING SUPERVISORS ; AUTOMATED GUIDED VEHICLES ; PREVENTION POLICY ; MINIMAL SIPHONS ; ELEMENTARY SIPHONS ; AVOIDING DEADLOCK ; MERGED NETS ; AVOIDANCE |
| 收录类别 | SCI |
| 语种 | 英语 |
| WOS记录号 | WOS:000258183000014 |
| 公开日期 | 2015-12-24 |
| 源URL | [http://ir.ia.ac.cn/handle/173211/9618]  |
| 专题 | 自动化研究所_09年以前成果 |
| 作者单位 | 1.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 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。