Petri net controller synthesis for discrete event systems using weighted inhibitor arc | IEEE Conference Publication | IEEE Xplore