Feedback control of Petri nets based on place invariants and place fusion

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 the controllers of the constrained places were fused into one controller with the technology of place fusion presented in this paper. The method is proved to be simpler and more efficient than the method presented by Moody, et al., using an applied instance that was also used by Moody et al.