Latent nestling method as an abstraction method in colored petri nets for fault diagnosis in complex systems