Supervisors avoiding deadlock in flexible manufacturing systems with co-operating machines | IEEE Conference Publication | IEEE Xplore