Feedback Petri net control design in the presence of uncontrollable transitions
John O. Moody, Panos J. Antsaklis, Michael D. Lemmon · 2002
This paper describes a computationally efficient method for synthesizing feedback controllers for plants modeled by Petri nets which may contain uncontrollable transitions. The controller, a Petri net itself, enforces a set of linear constraints on the plant. The original set of plant behavioral constraints is transformed to yield a controller which enforces the original constraints without influencing any uncontrollable transitions.