Diagnosis of computer systems by stochastic Petri nets Part II (Theory)G.S. ShedlerSatoshi Moriguchi1993IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences