Fault diagnosis with Coloured Petri Nets using Latent Nestling Method | IEEE Conference Publication | IEEE Xplore