A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

Author

Gomes Cabral, Felipe ; Moreira, Marcos Vicente ; Diene, Oumar ; Basilio, Joao Carlos

Author_Institution

COPPE, Fed. Univ. of Rio de Janeiro, Ilha do Fundao, Brazil

Volume

60

Issue

1

fYear

2015

fDate

Jan. 2015

Firstpage

59

Lastpage

71

Abstract

We propose in this paper a Petri net approach to online diagnosis of discrete event systems (DESs) modeled by finite state automata. The diagnosis method is based on the construction of a Petri net diagnoser (PND) which is constructed in polynomial time and requires less memory than other methods proposed in the literature. We also present methods for the conversion of the PND to both sequential function chart and ladder diagram for implementation on a programmable logic controller (PLC). Implementation issues are also addressed in the paper.

Keywords

Petri nets; automata theory; computational complexity; discrete event systems; finite state machines; programmable controllers; DES; PLC; PND; Petri net diagnoser; discrete event systems; finite state automata; ladder diagram; online diagnosis; polynomial time; programmable logic controller; sequential function chart; Automata; Computational modeling; Discrete-event systems; Fault diagnosis; Observers; Petri nets; Polynomials; Automata; Discrete event systems; Petri nets; Programmable Logic Controllers; automata fault diagnosis; discrete event systems (DESs); fault diagnosis; petri nets; programmable logic controllers (PLCs);

fLanguage

English

Journal_Title

Automatic Control, IEEE Transactions on

Publisher

ieee

ISSN

0018-9286

Type

jour

DOI

10.1109/TAC.2014.2332238

Filename

6840956