Petri net control of systems under discrete-event supervision | IEEE Conference Publication | IEEE Xplore