Fault diagnosis with Coloured Petri Nets using Latent Nestling Method uri icon