Title :
A comparison between two diagnostic tools based on automata and Petri nets
Author :
Lai, Stefano ; Nessi, Davide ; Cabasino, Maria Paola ; Giua, Alessandro ; Seatzu, Carla
Author_Institution :
Dept. of Electr. & Electron. Eng., Cagliari Univ., Cagliari
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.
Keywords :
Petri nets; automata theory; computational complexity; discrete event systems; Petri nets; WODES diagnosis benchmark; automata procedure; computational complexity; diagnostic tools; discrete event systems; Automata; Computational complexity; Context modeling; Discrete event systems; Fault detection; Fault diagnosis; Fires; Libraries; Petri nets; State-space methods;
Conference_Titel :
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on
Conference_Location :
Goteborg
Print_ISBN :
978-1-4244-2592-1
Electronic_ISBN :
978-1-4244-2593-8
DOI :
10.1109/WODES.2008.4605936
