Fault diagnosis for complex systems using Coloured Petri Nets