In this work, we present different control synthesis approaches based on Petri nets and the theory of regions. The control theories have some limitations in supervisory control. Indeed, the design of a PN supervisor, if it exists, is not an easy task due to the resolution complexity and the combinatorial explosion of states in the generated graph...