Skip to main content
SpringerLink
Log in
Book cover

Asian Conference on Intelligent Information and Database Systems

ACIIDS 2017: Intelligent Information and Database Systems pp 379–391Cite as

Failures in Discrete Event Systems and Dealing with Them by Means of Petri Nets

  • Conference paper
  • First Online:

  • 1811 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10191))

Abstract

An approach based on Petri nets pointing to the manner how to deal with failures in discrete-event systems is presented. It uses the reachability tree and/or graph of the Petri net-based model of the real system as well as the synthesis of a supervisor to remove the possible deadlock(s).

F. Čapkovič—Partially supported by the grants VEGA 2/0039/13 and 2/0029/17.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Bernardi, S., Flammini, F., Marrone, S., Merseguer, J., Papa, C., Vittorini, V.: Model-driven availability evaluation of railway control systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 15–28. Springer, Heidelberg (2011). doi:10.1007/978-3-642-24270-0_2

    Chapter  Google Scholar 

  2. Cabasino, M.P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Eng. Pract. 19(9), 989–1001 (2011)

    Article  Google Scholar 

  3. Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: New approach for diagnosability analysis of Petri nets using verifier nets. IEEE Trans. Autom. Control 57(12), 3104–3117 (2012)

    Article  MathSciNet  Google Scholar 

  4. Čapkovič, F.: Petri net-based synthesis of agent cooperation by means of modularity and supervision principles. In: Dimirovski, G.M. (ed.) Complex Systems: Relationships Between Control, Communications and Computing. Studies in Systems, Decision and Control, pp. 429–450. Springer International Publishing, Heidelberg (2016)

    Google Scholar 

  5. Chang, S.J., DiCesare, F., Goldbogen, G.: Failure propagation trees for diagnosis in manufacturing systems. IEEE Trans. SMC 21(4), 767–776 (1991)

    Google Scholar 

  6. Chung, S., Wu, C., Jeng, M.: Failure diagnosis: A case study on modeling and analysis by Petri nets. In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics, Washington, D.C., USA, 5-8 October 2003, pp. 2727–2732 (2003)

    Google Scholar 

  7. Desel, J., Reisig, W.: Place/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998). doi:10.1007/3-540-65306-6_15

    Chapter  Google Scholar 

  8. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge (1995)

    Book  MATH  Google Scholar 

  9. Fanni, A., Giua, A., Sanna, N.: Control and error recovery of Petri net models with event observers. In: Proceedings of the Second International Workshop on Manufacturing and Petri Nets, Toulouse, France, pp. 53–68 (1997)

    Google Scholar 

  10. Giua, A.: State estimation and fault detection using Petri nets. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 38–48. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21834-7_3

    Chapter  Google Scholar 

  11. Guo, Z., et al.: Failure recovery: when the cure is worse than the disease. In: Proceedings of the 14th Workshop on Hot Topics in Operating Systems, Santa Ana Pueblo, New Mexico, USA, May 13–15 2013, USENIX, Berkeley, USA, 6 pages (2013). URL:https://www.usenix.org/conference/hotos13/failure-recovery-when-cure-worse-disease

  12. Haar, S.: Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets. Research Report RR-6902, INRIA, France (2009)

    Google Scholar 

  13. Huang, Z., Chandra, V., Jiang, S., Kumar, R.: Modeling discrete event systems with faults using a rules based modeling formalism. Math. Comput. Model. Dyn. Syst. 9(3), 233–254 (2003)

    Article  MATH  Google Scholar 

  14. Leveson, N.G., Stolzy, J.L.: Safety analysis using Petri nets. IEEE Trans. Softw. Eng. SE–13(3), 386–397 (1987)

    Article  Google Scholar 

  15. Li, B., Khlif-Bouassida, M., Toguyéni, A.: On-the-fly diagnosability analysis of labeled Petri nets using T-invariants, pp. 064–070 . IFAC-PapersOnLine 48–7, Science Direct, Elsevier (2015)

    Google Scholar 

  16. Liu, B.: An efficient approach for diagnosability and diagnosis of DES based on labeled Petri nets - untimed and timed contexts. Ph.D. Thesis, Laboratoire d’ Automatique, Génie Informatique et Signal, École Centrale de Lille, Lille, France (2014)

    Google Scholar 

  17. Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77, 541–580 (1989)

    Article  Google Scholar 

  18. Odrey, N.G.: Error recovery in production systems: a Petri net based intelligent system approach. In: Kordic, V. (ed.) Petri Net, Theory and Applications, pp. 302–336. I-Tech Education and Publishing, Vienna (2008)

    Google Scholar 

  19. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc., Englewood Cliffs, New Jersey (1981)

    MATH  Google Scholar 

  20. Ramaswamy, S., Valavanis, K.P.: Modeling, analysis and simulation of failures in a materials handling system with extended Petri nets. IEEE Trans. Syst. Man Cybernet. 24(9), 1358–1373 (1994)

    Article  Google Scholar 

  21. Ramírez-Treviño, A., Ruiz-Beltrán, A.E., Arámburo-Lizárraga, J., López-Mellado, E.: Structural diagnosability of DES and design of reduced Petri net diagnosers. IEEE Trans. Syst. Man Cybernet. Part A Syst. Hum. 42(2), 416–429 (2012)

    Article  Google Scholar 

  22. Ramírez-Treviño, A., Ruiz-Beltrán, A.E., Rivera-Rangel, I., López-Mellado, E.: Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Trans. Autom. Sci. Eng. 4(1), 31–39 (2007)

    Article  Google Scholar 

  23. Urban, S.D., et al.: The assurance point model for consistency and recovery in service composition. In: Innovations, Standards and Practices of Web Services: Emerging Research Topics, Chapt. 12, pp. 250–287, IGI Global, USA (2012)

    Google Scholar 

  24. Wen, Y., Jeng, M.: Diagnosability analysis based on T-invariants of Petri nets. In: Proceedings of 2005 IEEE International Conference on Networking, Sensing and Control, March 2005, pp. 371–376 (2005)

    Google Scholar 

  25. Zaytoon, J., Lafortune, S.: Overview of fault diagnosis methods for discrete event systems. Annu. Rev. Control 37, 308–320 (2013)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia

    František Čapkovič

Authors
  1. František Čapkovič
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to František Čapkovič .

Editor information

Editors and Affiliations

  1. Wrocław University of Science and Technology , Wroclaw, Poland

    Ngoc Thanh Nguyen

  2. Japan Advanced Institute of Science and Technology , Nomi, Japan

    Satoshi Tojo

  3. Japan Advanced Institute of Science and Technology , Nomi, Japan

    Le Minh Nguyen

  4. Wrocław University of Science and Technology , Wrocław, Poland

    Bogdan Trawiński

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Čapkovič, F. (2017). Failures in Discrete Event Systems and Dealing with Them by Means of Petri Nets. In: Nguyen, N., Tojo, S., Nguyen, L., Trawiński, B. (eds) Intelligent Information and Database Systems. ACIIDS 2017. Lecture Notes in Computer Science(), vol 10191. Springer, Cham. https://doi.org/10.1007/978-3-319-54472-4_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-54472-4_36

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-54471-7

  • Online ISBN: 978-3-319-54472-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation