Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming

doi:10.1109/JAS.2020.1003210

CASIA OpenIR > 学术期刊 > IEEE/CAA Journal of Automatica Sinica

	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
Source Publication	IEEE/CAA Journal of Automatica Sinica
ISSN	2329-9266
	2021
Volume	8 Issue:1 Pages:219-226
Abstract	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 S⁴PR. In particular, many particular structural characteristics of EMS in S⁴PR 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 S⁴PR.
Keyword	Automated manufacturing systems deadlocks discrete event system mixed-integer programming (MIP) Petri nets (PN) siphons
DOI	10.1109/JAS.2020.1003210
Citation statistics	Cited Times:10[WOS] [WOS Record] [Related Records in WOS]
Document Type	期刊论文
Identifier	http://ir.ia.ac.cn/handle/173211/43909
Collection	学术期刊_IEEE/CAA Journal of Automatica Sinica
Recommended Citation 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.

Files in This Item:		Download All
File Name/Size	DocType	Version	Access	License
JAS-2020-0358.pdf（1617KB）	期刊论文	出版稿	开放获取	CC BY-NC-SA	View Download

File name:	JAS-2020-0358.pdf
Format:	Adobe PDF

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院自动化研究所机构知识库