DocumentCode :
3299678
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
fYear :
2009
fDate :
15-18 Dec. 2009
Firstpage :
1254
Lastpage :
1260
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;
fLanguage :
English
Publisher :
ieee
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
ISSN :
0191-2216
Print_ISBN :
978-1-4244-3871-6
Electronic_ISBN :
0191-2216
Type :
conf
DOI :
10.1109/CDC.2009.5399874
Filename :
5399874
Link To Document :
بازگشت