Deadlock avoidance controller for a class of manufacturing systems. - Ke Yi Xing; Ke Li Xing; Jun Ming Li; Bao Sheng Hu (ICRA, 1996)