Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. - Ke-Yi Xing; Bao-Sheng Hu; Hao-Xun Chen (IEEE Trans. Autom. Control., 1996)