Synthesis of Petri net controller to enforce conjunction of GMEC using observer

In this paper, we deal with the problem of the synthesis of Petri net controller enforcing a set of generalized mutual exclusion constraints (GMEC) under assumption that the structure of the Petri net is known, while the initial marking is not known or only partially known but the event occurrences (i.e., the transition firings) can be observed. An algorithm is presented to construct a Petri net controller based an observer that computing a marking estimate in this paper. The main advantage of this method is that the closed-loop system is Petri net and the controller is more optimal than the one by Giua.