publicaciones seleccionadas documento Fault diagnosis with Coloured Petri Nets using Latent Nestling Method 2008