Control synthesis of Petri nets based on S-decreases

This paper describes a method for constructing a controller for a discrete event system modeled by a Petri net. The control goal is to force the net to obey a set of linear inequality constraints defined on the marking of the net. The controller is an extended Petri net, and can be computed based on the concept of minimal support S-decreases. It provides a systematic method for synthesizing a net-based controller when part of transitions in the net are uncontrollable