Title: PLC implementation of a des supervisor for a manufacturing testbed