X.-L. Pan, G. He and X.-C. Wang. Research on the application of colored Petri net to fault diagnosis of diesel engine control system. Proceedings of 2011 International Conference on Mechatronic Science, Electric Engineering and Computer, 2011, 11: 2082-2085.