Colored timed Petri net based statistical process control and fault diagnosis to flexible manufacturing systems. - Chung-Hseng Kuo; Han-Pang Huang (ICRA, 1997)