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

Authors:
Anthony Spiteri Staines
Affiliations:
Department of Computer Information Systems, University of Malta, Msida, Malta
Venue:
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Year:
2009

Citing 7
Cited 0

High-level Petri nets: theory and application

High-level Petri nets: theory and application
Software Engineering for Real-Time Systems

Software Engineering for Real-Time Systems
Higher-order petri net modelling: techniques and applications

CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Process modelling using Petri nets

CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
Introduction to Automata Theory, Languages, and Computation (3rd Edition)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
Designing communication protocols for holonic control devices using elementary nets

HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.