A Petri net based supervisory control implementation | IEEE Conference Publication | IEEE Xplore