Sufficient conditions for diagnosability of Petri nets

Author

Basile, Francesco ; Chiacchio, Pasquale ; De Tommasi, Gianmaria

Author_Institution

Dip. Ing. dell´´Inf. e Ing. Elettr., Univ. di Salerno, Fisciano

fYear

2008

fDate

28-30 May 2008

Firstpage

370

Lastpage

375

Abstract

Sufficient conditions for diagnosability of DES modeled as Petri net are given in this paper. In proposed framework we refer to the concept of diagnosability given by Sampath et al. for finite state automata; as far as the fault events are concerned, they are modeled as unobservable transitions. The results here presented are based on the mathematical representation of PNs, and their complexity does not depend on the initial marking of the net. Hence the proposed approach does not suffer of the state space explosion problem, as the diagnoser approach does.

Keywords

Petri nets; discrete event systems; fault diagnosis; finite state machines; reliability theory; state-space methods; Petri net diagnosability; diagnoser approach; fault event diagnosis; fault events; finite state automata; mathematical representation; state space explosion problem; unobservable transitions; Automata; Discrete event systems; Equations; Event detection; Explosions; Fault diagnosis; Petri nets; State-space methods; Sufficient conditions; Testing;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WODES.2008.4605974

Filename

4605974