Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems. - Yi-Sheng Huang; Yen-Liang Pan (International Journal of Advanced Manufacturing Technology, 2010)