Learn More
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(More)
This paper described a method for constructing a Petri net feedback controller for a discrete event system modeled by a Petri net. The controller enforced a set of inequality constraints on the reachable markings of the Petri net model. First the controllers of the constrained places were computed based on the concept of Petri net place invariants, and then(More)
A computationally efficient method for constructing Petri net controllers is presented. The method is derived using place invariants and is able to enforce logical and algebraic constraints containing elements of the marking and firing vectors. Abstmt-This paper describes a method for constructing a Petri net controller for a discrete event system modeled(More)
  • 1