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 American ControlConference Chicago, Illinois June 2000
 

Summary: Proceedingsof the American ControlConference
Chicago, Illinois June 2000
A METHOD FOR THE SYNTHESIS OF
DEADLOCK PREVENTION CONTROLLERS IN
SYSTEMS MODELED BY PETRI NETS
Marian V. Iordache*,John 0.Moody**,Panos J. Antsaklis*
*Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN 46556
**LockheedMartin Federal Systems, 1801State Rt.l7C, MD 0210, Owego NY 13827-3998
Abstract
Given an arbitrary Petri net structure, the dead-
lock prevention procedure presented here deter-
mines a set of linear inequalities on the marking
of a Petri net. When the Petri net is supervised
so that its markings satisfy these inequalities, the
supervised net is proved to be deadlock-free for all
initial markings that satisfy the supervision con-
straints. Deadlock-freedom implies that there will
always be at least one transition that is enabled in
the closed loop (supervised) system. The method
is not guaranteed to insure liveness, as it can be

  

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

 

Collections: Engineering