Knowledge Commons of Institute of Automation，CAS
| Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems | |
| Li, ZW; Zhou, MC | |
| Source Publication | IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
 |
| 2004 | |
| Volume | 34Issue:1Pages:38-51 |
| Subtype | Article |
| Abstract | A variety of important Petri-net-based methods to prevent deadlocks arising in flexible manufacturing systems (FMS) are to add some control places and related arcs to strict minimal siphons (SMS) such that no siphon can be emptied. Since the number of minimal siphons grows in general exponentially with respect to a Petri net size, their disadvantages lie in that they often add too many additional places to the net, thereby making the resulting net model much more complex than the original one. This paper explores ways to minimize the new additions of places while achieving the same control purpose. It proposes for the first time the concept of elementary siphons that are a special class of siphons. The set of elementary siphons in a Petri net is generally a proper subset of the set of all SMS. Its smaller cardinality becomes evident in large Petri net models. This paper proves that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented. Compared with the existing methods, the new method requires a much smaller number of control places and, therefore, is suitable for large-scale Petri nets. An FMS example is used to illustrate the proposed concepts and policy, and show the significant advantage over the previous methods. |
| Keyword | Deadlock Prevention Flexible Manufacturing Systems Petri Nets Siphons |
| WOS Headings | Science & Technology ; Technology |
| WOS Keyword | SHARED RESOURCES ; AVOIDANCE ; POLICY |
| Indexed By | SCI |
| Language | 英语 |
| WOS Research Area | Computer Science |
| WOS Subject | Computer Science, Cybernetics ; Computer Science, Theory & Methods |
| WOS ID | WOS:000188209300004 |
| Citation statistics | |
| Document Type | 期刊论文 |
| Identifier | http://ir.ia.ac.cn/handle/173211/9029 |
| Collection | 09年以前成果 |
| Affiliation | 1.Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China 2.Univ Toronto, Syst Control Grp, Dept Elect & Comp Engn, Toronto, ON M5S 3G4, Canada 3.New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA 4.Chinese Acad Sci, Inst Automat, Beijing 100080, Peoples R China |
| Recommended Citation GB/T 7714 | Li, ZW,Zhou, MC. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2004,34(1):38-51. |
| APA | Li, ZW,&Zhou, MC.(2004).Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,34(1),38-51. |
| MLA | Li, ZW,et al."Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 34.1(2004):38-51. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment