| | |
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
|
