Title :
Diagnosability of bounded Petri nets
Author :
Cabasino, Maria Paola ; Giua, Alessandro ; Seatzu, Carla
Author_Institution :
Dept. of Electr. & Electron. Eng., Univ. of Cagliari, Cagliari, Italy
Abstract :
In this paper we present an approach to solve the problem of diagnosability of bounded Petri net systems. In particular, we first give necessary and sufficient conditions for diagnosability. Then, we present a method to test diagnosability that is based on the analysis of two graphs that depend on the structure of the net, including the faults model, and the initial marking. The first graph is called basis reachability diagnoser, the second one is called modified basis reachability graph.
Keywords :
Petri nets; fault diagnosis; reachability analysis; basis reachability diagnoser; bounded Petri net; diagnosability; faults model; initial marking; modified basis reachability graph; Automata; Discrete event systems; Information analysis; Linear programming; Performance evaluation; Petri nets; Polynomials; State-space methods; Sufficient conditions; System testing;
Conference_Titel :
Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-3871-6
Electronic_ISBN :
0191-2216
DOI :
10.1109/CDC.2009.5399874