Reliability petri nets : Models of fault analysis in concurrent systems

Full text