Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming
文献类型：期刊论文
| 作者 | Shouguang Wang; Wenli Duo; Xin Guo; Xiaoning Jiang; Dan You; Kamel Barkaoui; MengChu Zhou |
| 刊名 | IEEE/CAA Journal of Automatica Sinica
 |
| 出版日期 | 2021 |
| 卷号 | 8期号:1页码:219-226 |
| 关键词 | Automated manufacturing systems deadlocks discrete event system mixed-integer programming (MIP) Petri nets (PN) siphons |
| ISSN号 | 2329-9266 |
| DOI | 10.1109/JAS.2020.1003210 |
| 英文摘要 | Deadlock resolution strategies based on siphon control are widely investigated. Their computational efficiency largely depends on siphon computation. Mixed-integer programming (MIP) can be utilized for the computation of an emptiable siphon in a Petri net (PN). Based on it, deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential complexity. Due to this reason, various MIP methods are proposed for various subclasses of PNs. This work proposes an innovative MIP method to compute an emptiable minimal siphon (EMS) for a subclass of PNs named S4PR. In particular, many particular structural characteristics of EMS in S4PR are formalized as constraints, which greatly reduces the solution space. Experimental results show that the proposed MIP method has higher computational efficiency. Furthermore, the proposed method allows one to determine the liveness of an ordinary S4PR. |
| 源URL | [http://ir.ia.ac.cn/handle/173211/43909]  |
| 专题 | 自动化研究所_学术期刊_IEEE/CAA Journal of Automatica Sinica |
| 推荐引用方式 GB/T 7714 | Shouguang Wang,Wenli Duo,Xin Guo,et al. Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming[J]. IEEE/CAA Journal of Automatica Sinica,2021,8(1):219-226. |
| APA | Shouguang Wang.,Wenli Duo.,Xin Guo.,Xiaoning Jiang.,Dan You.,...&MengChu Zhou.(2021).Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming.IEEE/CAA Journal of Automatica Sinica,8(1),219-226. |
| MLA | Shouguang Wang,et al."Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming".IEEE/CAA Journal of Automatica Sinica 8.1(2021):219-226. |
入库方式： OAI收割
来源：自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。