Implementation of a Petri net controller for a machining workstation | IEEE Conference Publication | IEEE Xplore