Reliability petri nets : Models of fault analysis in concurrent systems