Synthesis of Petri net controller to enforce conjunction of GMEC using observer | IEEE Conference Publication | IEEE Xplore