An improved deadlock control policy using elementary siphons and MIP approach

Document Type

Conference Proceeding

Publication Date

12-1-2005

Abstract

Based on elementary siphons of Petri nets and the mixed integer programming approach, an improved deadlock prevention policy is developed for S3PR. Siphons in such a plant Petri net model are divided into elementary and dependent ones. Our policy consists of two stages: siphon control and control-induced siphon control. At first stage, a monitor (control place) is added for each elementary siphon such that it is invariantcontrolled. Due to the addition of monitors to plant model, control-induced siphons are possibly generated in the augmented S3PR which is an RCN-merged net. The second stage sees that monitors are added to make always marked control-induced siphons in the resultant RCN-merged net without generating new control-induced siphons. Compared with our previous work, the deadlock prevention policy developed in this paper can lead to a structurally simple liveness-enforcing Petri net supervisor by adding only a small number of monitors and arcs. An FMS example is utilized to illustrate the proposed methods. © 2005 IEEE.

Identifier

33745162540 (Scopus)

Publication Title

2005 IEEE Networking Sensing and Control Icnsc2005 Proceedings

External Full Text Location

https://doi.org/10.1109/ICNSC.2005.1461189

First Page

214

Last Page

219

Volume

2005

This document is currently not available here.

Share

COinS