| | |
Summary: FA-18 8150
Proceedingsof the 33rd
Conferenceon Decisionand Control
Lake BuenaVista, FL-December 1994
Feedback Control of Petri Nets Based on Place Invariants
.John Moody, Katerina Yamalidou,
Michael Lemmon and Panos Antsa.klis
Department of Electrical Engineering
University of Notre Dame, Notre Dame, IN 46556
Email: jmoody@maddog.ee.nd.edu
Abstract
This paper describes a method for constructing a Petri
net feedback controller for a discrete event system mod-
eled by a Petri net. The controller enforces a set.of linear
const,raints on the plant and consists of places and arcs.
It is computed using the concept of Petri net place in-
variants. The size of the controller is proportional to
the number of constraints which mnst be satisfied. The
method is very attractive computationally, and it makes
possihle t,hesystematic design of Petri net controllers for
|