Supervisor synthesis for enforcing GMECs on a controlled Petri net | IEEE Conference Publication | IEEE Xplore