Design and Implementation of Supervisors Avoiding Deadlocks in Flexible Assembly Systems