A time-controlled Petri net model and deadlock detouring algorithm for real-time FMC control. - Suk-Ho Kang; Yeongho Kim; Young Chang Lee (Int. J. Comput. Integr. Manuf., 2000)