Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Proceedings of the American Control Conference Arlington, VA June 25-27, 2001
 

Summary: Proceedings of the American Control Conference
Arlington, VA June 25-27, 2001
A Method for the Synthesis of Liveness Enforcing
Supervisors in Petri Nets
Marian V. Iordache', John 0. Moody2 and Panos J. Ant~aklisl,~
Abstract
Given an arbitrary Petri net structure which may have
uncontrollable and unobservable transitions and may
be unbounded, the procedure described in this paper
generates a supervisor for liveness enforcement. The
supervisor is specified as a conjunction of linear mark-
ing inequalities. For all initial markings satisfyingthe
linear marking inequalities,the supervised Petri net is
live. Moreover, the supervision is least restrictive in
the fully controllable and observable case.
1 Introduction
Liveness in a Petri net means that for all markings
reachable from an initial marking any transition can
eventually be fired. This implies absence of deadlock.
In general Petri nets may not be live. Our procedure

  

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

 

Collections: Engineering