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