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