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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alves de Medeiros, A.K., Gunther, C.W.: Process mining: Using CPN Tools to create test logs for mining algorithms. In: Proceedings of the 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 177–190 (2005)
Bartolozzi, V., Castiglione, L., Piciotto, A., Galuzzo, M.: Qualitative models of equipment units and their use in automatic HAZOP analysis. Reliability Engineering and Systems Safety 70, 49–57 (2000)
CPN Group, University of Aarhus, Denmark: CPNTools 2.2.0, http://wiki.daimi.au.dk/cpntools/
Genc, S., Lafortune, S.: Distributed diagnosis of discrete-event systems using Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 316–336. Springer, Heidelberg (2003)
Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Transactions on Automation Science and Engineering 4(2), 206–219 (2007)
Hangos, K.M., Cameron, I.T.: Process Modelling and Model Analysis. Academic Press, London (2001)
Hangos, K.M., Lakner, R., Gerzson, M.: Intelligent Control Systems: An Introduction with Examples. Kluwer Academic Publisher, New York (2001)
Hangos, K.M., Németh, E., Lakner, R., Tóth, A.: Detectability and diagnosability of faults in lumped process systems. In: Pierucci, S., Buzzi Ferraris, G. (eds.) 20th European Symposium on Computer Aided Process Engineering - ESCAPE20, pp. 1447–1452. Elsevier, B.V (2010)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1997)
Lakner, R., Németh, E., Hangos, K.M., Cameron, I.T.: Multiagent realization of prediction-based diagnosis and loss prevention. In: Ali, M., Dapoigny, R. (eds.) IEA/AIE 2006. LNCS (LNAI), vol. 4031, pp. 70–80. Springer, Heidelberg (2006)
Lunze, J.: Diagnosability of deterministic I/O automata. In: Prep. 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp. 1378–1383 (2009)
Palmer, C., Chung, P.W.H.: An automated system for batch hazard and operability studies. Reliability Engineering and Systems Safety 94, 1095–1106 (2009)
van der Aalst, W.M.P., van Dongen, B.F., Gunther, C.W., Mans, R.S., Alves de Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484–494. Springer, Heidelberg (2007)
Venkatasubramanian, V., Rengaswamy, R., Kavuri, S.N.: A review of process fault detection and diagnosis Part II: Qualitative models and search strategies. Computers & Chemical Engineering 27, 313–326 (2003)
Wen, Y.L., Jeng, M.D.: Diagnosability of Petri nets. In: 2004 IEEE International Conference on Systems, Man and Cybernetics, pp. 4891–4896 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tóth, A., Németh, E., Hangos, K.M. (2010). Coloured Petri Net Diagnosers for Lumped Process Systems. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2010. Lecture Notes in Computer Science(), vol 6277. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15390-7_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-15390-7_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15389-1
Online ISBN: 978-3-642-15390-7
eBook Packages: Computer ScienceComputer Science (R0)