Katerina Yamalidou

Learn 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)
Abstmt-This paper describes a method for constructing a Petri net controller for a discrete event system modeled by a Petri net. The controller consists only of places and arcs, and is computed based on the concept of Petri net place invariants. The size of the controller is proportional to the number of constraints that must be satisfied. This method is(More)
  • 1