A compact CPN representation for embedded and control systems fault diagnosis and recovery

This paper describes how a reduced colored Petri net modeling approach can be used to represent faults and recovery action when designing embedded systems, control systems, real time hardware and other systems. The idea of the reduced CPN is to represent errors using complex tokens based on sets to store error information. A comprehensive example of a computerized fuel control system for a gas/combustion turbine is used to illustrate this methodology. Results and conclusions are given.

[1]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[2]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[3]  Jorn W. Janneck,et al.  Higher-order petri net modelling: techniques and applications , 2002, FME 2002.

[4]  Jim Cooling,et al.  Software Engineering for Real-Time Systems , 2002 .

[5]  Vito Baggiolini.  Generic Fault Management Techniques , 1998 .

[6]  Kathrin Hoffmann,et al.  Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens , 2002, WADT.

[7]  Duncan C. McFarlane,et al.  Designing Communication Protocols for Holonic Control Devices Using Elementary Nets , 2005, HoloMAS.

[8]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[9]  Gwm Matthias Rauterberg,et al.  Modelling of cognitive complexity with Petri nets : an action theoritical approach , 1998 .

[10]  R. Blasco,et al.  Fault diagnosis with Coloured Petri Nets using Latent Nestling Method , 2008, 2008 IEEE International Symposium on Industrial Electronics.

[11]  L. Rodriguez,et al.  Latent Nestling Method: A new fault diagnosis methodology for complex systems , 2008, 2008 34th Annual Conference of IEEE Industrial Electronics.

[12]  Katalina Grigorova.  Process modelling using Petri nets , 2003, CompSysTech '03.

[14]  L. Rodriguez,et al.  Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[15]  Bo-Suk Yang,et al.  Case-based reasoning system with Petri nets for induction motor fault diagnosis , 2004, Expert Syst. Appl..