AO DE UMA REDE DE PETRI PARA DIAGNOSE ONLINE DE FALHAS EM CONTROLADORES L OGICOS PROGRAM AVEIS

In this paper we present methods for obtaining Sequential Function Charts (SFCs) and ladder diagrams for the implementation of a Petri net diagnoser (PND) on a programmable logic controller (PLC). Since the PND is a binary Petri net, the conversion into SFC is almost straightforward. The method for the conversion of PND into ladder diagrams allows the implementation of the diagnoser on CLPs that do not support SFC language, and provides a well-structured ladder diagram that allows the visualization of the structure of the Petri net as well as the evolution of the tokens in the diagnoser.

[1]  Ferrarini Luca,et al.  A methodology for fault isolation and identification in automated equipments , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[2]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[3]  Martin Fabian,et al.  PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[4]  João Carlos Basilio,et al.  Ladder diagram implementation of Control Interpreted Petri Nets: a state equation approach , 2009 .

[5]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

[6]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[7]  Bengt Lennartson,et al.  On the execution of sequential function charts , 2005 .

[8]  Marcos Vicente Moreira,et al.  Petri net diagnoser for DES modeled by finite state automata , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[9]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Trans. Autom. Control..