Failure diagnosis: a case study on modeling and analysis by Petri nets.

Sheng-Luen Chung, Chien-Chung Wu, MuDer Jeng

Browse the full SMC paper archive.