Fault diagnosis with coloured petri nets using latent nestling method