A comparison between two diagnostic tools based on automata and Petri nets

Abstract

In this paper we consider two diagnosis procedures for discrete event systems based respectively on automata and Petri nets. First we compare them in terms of applicability and generality. Secondly, we apply them to the WODES diagnosis benchmark and compare them in terms of computational complexity. As a result we conclude that the automata procedure is more general, but the Petri net approach presents significant advantages in terms of computational complexity.