Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Hungarian Journal of Industry and Chemistry

2 Issues per year

Open Access
Online
ISSN
2450-5102
See all formats and pricing
More options …

Diagnosis of Technological Systems Based On the Structural Decomposition of Their Coloured Petri Net Model

Anna I. Pózna
  • Corresponding author
  • Department of Electrical Engineering and Information Systems, University of Pannonia, PO Box 158, Veszprém, 8201, Hungary
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Miklós Gerzson
  • Department of Electrical Engineering and Information Systems, University of Pannonia, PO Box 158, Veszprém, 8201, Hungary
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Adrien Leitold / Katalin M. Hangos
  • Department of Electrical Engineering and Information Systems, University of Pannonia, PO Box 158, Veszprém, 8201, Hungary
  • Institute for Computer Science and Control, Hungarian Academy of Sciences, PO Box 63, Budapest, 1518, Hungary
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2017-05-23 | DOI: https://doi.org/10.1515/hjic-2016-0015

Abstract

Diagnosing faults during the operation of a system is an essential task when investigating technological systems. In this paper, a new online fault identification method is proposed which is based on the occurrence graph of the coloured Petri net model of the system. The model is able to simulate the normal and faulty operations of the system given in the form of event lists, so called traces. The diagnosis is based on the search for deviations between the traces of the normal and the actual operations. In the case of complex technological systems, the occurrence graph can contain hundreds of nodes; therefore, the computational effort and searching-time increase significantly. Our proposed structural decomposition method can manage these demands so it has a crucial impact on the practical application of diagnostic processes. The main idea of our method is that the complex systems can be decomposed into technological units. Therefore, the diagnosis can be done by components separately and the diagnostic result of a unit can be used for the diagnosis of the other units connected to it. Because of the structural decomposition, the diagnosis has to be performed on much smaller occurrence graphs but the effect of faults in previous units is taken into account. The proposed method is illustrated by a simple case study.

Keywords : technological system; diagnosis; coloured Petri net model; structural decomposition; qualitative model

References

  • [1] Blanke, M.; Kinnaert, M.; Lunze, J.; Staroswiecki, M.: Diagnosis and fault-tolerant control (Springer- Verlag, Berlin, GERMANY) 2006 DOI: 10.1007/978-1-84628-877-7CrossrefGoogle Scholar

  • [2] Hrúz, B.; Zhou, M.: Modeling and control of discrete-event dynamic systems with Petri nets and other tool (Springer-Verlag, London, U.K.) 2007Google Scholar

  • [3] Campos, E.J.; Seatzu, C.; Xie, X.: Formal methods in manufacturing (CRC Press Taylor and Francis Group, Boca Raton, USA) 2014 DOI: 10.1201/b16529CrossrefGoogle Scholar

  • [4] Zaytoon, J.; Lafortune, S.: Overview of fault diagnosis methods for discrete event systems, Ann. Rev. Control 2013 37(2), 308-320 _ DOI: 10.1016/j.arcontrol.2013.09.009CrossrefGoogle Scholar

  • [5] Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; Teneketzis, D.: Diagnosability of discrete-event systems, IEEE Trans. Automat. Control 1995 40(9), 1555-1575 _ DOI: 10.1109/9.412626CrossrefGoogle Scholar

  • [6] Prock, J.: A new technique for fault detection using Petri nets, Automatica 1991 27(2), 239-245 _ DOI: 10.1016/0005-1098(91)90074-CCrossrefGoogle Scholar

  • [7] Cabasino, M.P.; Giua, A.; Seatzu, C.: Fault detection for discrete event systems using petri nets with unobservable transitions, Automatica 2010 46(9), 1531-1539 _ DOI: 10.1016/j.automatica.2010.06.013Web of ScienceCrossrefGoogle Scholar

  • [8] Basile, F.; Chiacchio, P.; Tommasi, G.D.: Sufficient conditions for diagnosability of Petri nets, in Proc. 9th Int. Workshop on Discrete Event Systems, WODES (Göteborg, SWEDEN) pp. 370-375, 2008 _ DOI: 10.1109/WODES.2008.4605974CrossrefGoogle Scholar

  • [9] Basile, F.; Chiacchio, P.; Tommasi, G.D.: An efficient approach for online diagnosis of discrete event systems, IEEE Trans. Automat. Control 2009 54(4), 748-759 _ DOI: 10.1109/TAC.2009.2014932CrossrefGoogle Scholar

  • [10] Dotoli, M.; Fanti, M.P.; Mangini, A.M.; Ukovich, W.: Online fault detection in discrete event systems by Petri nets and integer linear programming, Automatica 2009 45(11), 2665-2672 _ DOI: 10.1016/j.automatica.2009.07.021CrossrefGoogle Scholar

  • [11] Fanti, M.P.; Mangini, A.M.; Ukovich, W.: Fault Detection by Labeled Petri Nets and Time Constraints, Proc. 3rd Int. Workshop on Dependable Control of Discrete Systems (DCDS, Saarbrucken, GERMANY) pp. 168-173, 2011 _ DOI: 10.1109/DCDS.2011.5970336CrossrefGoogle Scholar

  • [12] Lefebvre, D.; Aguayo-Lara, E.: Initial study for observers application to fault detection _ and isolation with continuous timed petri nets, IFACPapersOnLine 2015 48(7), 97-103 DOI: 10.1016/j.ifacol.2015.06.479CrossrefGoogle Scholar

  • [13] Ramirez-Trevino, A.; Ruiz-Beltran, E.; Rivera- Rangel, I.; Lopez-Mellado, E.: Online fault diagnosis of discrete event systems. A Petri netbased approach, IEEE Trans. Automation Sci. Engng. 2007 4(1), 31-39 DOI: 10.1109/TASE.2006.872120CrossrefGoogle Scholar

  • [14] Genc, S.; Lafortune, S.: Distributed diagnosis of place-bordered Petri nets, IEEE Trans. Automation Sci. Engng. 2007 4(2), 206-219 DOI: 10.1109/TASE.2006.879916CrossrefGoogle Scholar

  • [15] Pencolé, Y.; Pichard, R.; Fernbach, P.: Modular fault diagnosis in discrete-event systems with a CPN diagnoser, IFAC-PapersOnLine 2015 48(21), 470-475 DOI: 10.1016/j.ifacol.2015.09.571CrossrefGoogle Scholar

  • [16] Bouali, M.; Barger, P.; Schon, W.: Backward Reachability of colored Petri nets for systems diagnosis, Reliability Engng. System Safety 2012 99, 1-14 DOI: 10.1016/j.ress.2011.10.003CrossrefGoogle Scholar

  • [17] Jensen, K.: Coloured Petri nets: Basic concepts, analysis methods and practical use (Springer- Verlag, Berlin, GERMANY) 1997 DOI: 10.1007/978-3-642-60794-3 CrossrefGoogle Scholar

About the article

Published Online: 2017-05-23

Published in Print: 2016-12-01


Citation Information: Hungarian Journal of Industry and Chemistry, ISSN (Online) 2450-5102, DOI: https://doi.org/10.1515/hjic-2016-0015.

Export Citation

© 2017. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. BY-NC-ND 4.0

Comments (0)

Please log in or register to comment.
Log in