Coloured Petri net diagnosers for lumped process systems

Authors:
Attila Tóth;Erzsébet Németh;Katalin M. Hangos
Affiliations:
Faculty of Information Technology, University of Pannonia, Veszprém, Hungary;School of Chemical Engineering, The University of Queensland, Brisbane, Australia;Process Control Research Group, Systems and Control Laboratory, Computer and Automation Research Institute, Budapest, Hungary and Faculty of Information Technology, University of Pannonia, Veszpr& ...
Venue:
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Year:
2010

Citing 5
Cited 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Intelligent Control Systems: An Introduction with Examples

Intelligent Control Systems: An Introduction with Examples
Distributed diagnosis of discrete-event systems using Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ProM 4.0: comprehensive support for real process analysis

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Multiagent realization of prediction-based diagnosis and loss prevention

IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems

Knowledge-based diagnosis of process systems using procedure HAZID information

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part III

Quantified Score

Hi-index	0.00

Visualization

Abstract

A model-based method is proposed in this paper for algorithmic generation of diagnosers in coloured Petri net (CPN) form from characteristic input-output traces obtained from a qualitative model of lumped process systems. The qualitative model contains the description of the considered persistent faults in the form of fault indicators, and it is transformed into a CPN. The diagnosers are constructed from a CPN obtained by the process mining methodology using the generated input-output traces for identically constant inputs. The concepts and methods are illustrated using a simple case study consisting of an industrial storage tank system with additive and multiplicative failures on sensors, and on the behaviour of a pump.