Supervisory control of discrete event systems using enabling arc Petri nets | IEEE Conference Publication | IEEE Xplore