Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming

Document Type

Article

Publication Date

1-1-2021

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 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.

Identifier

85086260111 (Scopus)

Publication Title

IEEE Caa Journal of Automatica Sinica

External Full Text Location

https://doi.org/10.1109/JAS.2020.1003210

e-ISSN

23299274

ISSN

23299266

First Page

219

Last Page

226

Issue

1

Volume

8

Grant

2013E10012

Fund Ref

Zhejiang Gongshang University

This document is currently not available here.

Share

COinS