Pózna, A. I.; Gerzson, M.; Leitold, A.; Hangos, K. M. Diagnosis of Technological Systems Based on the Structural Decomposition of Their Coloured Petri Net Model. Hung. J. Ind. Chem. 2016, 44, 121-128.