Supervisors Avoiding Deadlock in Flexible Manufacturing Systems with Co-operating Machines