Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Proceedingsof the AmericanControlConference Philadelphia,Pennsylvania June 1998
 

Summary: Proceedingsof the AmericanControlConference
Philadelphia,Pennsylvania June 1998
Deadlock Avoidance in Petri Nets with Uncontrollable Transitions*
John 0. Moody and Panos J. Antsaklist
Department of Electrical Engineering, University of Notre Dame, :Notre Dame, IN 46556
Abstract
Recent results in the literature have provided efficient
control synthesis techniques for the problem of deadlock
avoidance in Petri nets. These results are shown to fit
within an established framework for the enforcement of
linear constraints on the marking behavior of a net. Fram-
ing the problem in this way allows uncontrollable and/or
unobservable transitions to be included in the plant model
when deadlock avoidance is performed.
1. Introduction
Supervisory control techniques for deadlock avoidance
in Petri nets (PN's) have been proposed by several re-
searchers [1,2,4]. The techniques seek to identify the
problematic structures in the plant and then to restrict
the plant behavior relating to these structures so as to pre-

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering