By Topic

Deadlock control policy for a class of petri nets without complete siphon enumeration

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Z. Li ; Xidian Univ., Xi'an ; M. Zhou ; M. Uzam

Siphons are special structures of a Petri net. Their number grows exponentially with the net size. Hence, the traditional siphon-based deadlock control policies have two problems, that is, generating very structurally complex supervisory controllers and requiring intractable computation efforts. This paper intends to use the newly proposed concept, elementary siphons, and a mixed integer programming (MIP) method to design structurally simple supervisory controllers and reduce the computational burden. This method is applicable to a class of Petri nets, system of simple sequential processes with resources that can well model a wide class of discrete manufacturing systems. Siphons are divided into elementary and dependent ones. The proposed policy consists of three stages: siphon control, control-induced siphon control, and the elimination of control-redundant monitors. First, a monitor (control place) is added for each elementary siphon such that it is invariant-controlled. Because of the addition of monitors to the plant model, control-induced siphons are possibly generated in the augmented net. Next, monitors are added to make control-induced siphons in the augmented net always marked sufficiently without generating new problematic siphons. A MIP technique is used to guarantee that no siphon is insufficiently marked. Finally, we systematically remove control-redundant monitors. Compared with previous work in the literature, the deadlock prevention policy developed in this paper can lead to a structurally simple liveness-enforcing Petri net supervisor with more permissive behaviour by adding only a small number of monitors and arcs. Moreover, complete siphon enumeration is avoided. A manufacturing system example is utilised to illustrate the proposed methods.

Published in:

IET Control Theory & Applications  (Volume:1 ,  Issue: 6 )