A comparison between two diagnostic tools based on automata and Petri nets | IEEE Conference Publication | IEEE Xplore