Applying coloured Petri nets to analyze fail silent nodes in distributed systems | IEEE Conference Publication | IEEE Xplore