PLC-based implementation of supervisory control for discrete event systems | IEEE Conference Publication | IEEE Xplore