Latent nestling method as an abstraction method in colored petri nets for fault diagnosis in complex systems. Revista Ontare, v. 3, n. 1, p. 97–124, 30 oct.2015.