Skip to main content
SpringerLink
Log in

Diagnosis of Petri Nets

  • Chapter
Control of Discrete-Event Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 433))

Abstract

This chapter focuses on on-line fault diagnosis of labeled Petri nets, i.e., place/transition nets where a labeling function assigns to each transition either a symbol from a given alphabet or the empty word. Some important contributions in this framework are first recalled. Then particular attention is devoted to an approach proposed by the authors that is based on the notion of basis markings and justifications, that presents the main advantage of not requiring an exhaustive enumeration of the system state space. Moreover, in the case of bounded net systems, the most burdensome part of the approach may be moved moved offline, computing a particular graph called Basis Reachability Graph. Some results concerning problems related to on-line fault diagnosis are also recalled, such as diagnosis via fluidification, diagnosability analysis and decentralized diagnosis.

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

Access this chapter

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 119.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Basile, F., Chiacchio, P., De Tommasi, G.: An efficient approach for online diagnosis of discrete event systems. IEEE Transactions on Automatic Control 54(4), 748–759 (2009)

    Article  Google Scholar 

  2. Baviehi, S., Chong, E.K.P.: Automated fault diagnosis using a discrete event systems. In: Proc. 1994 IEEE Int. Symposium on Intelligent Control, Ohio, USA (1994)

    Google Scholar 

  3. Benveniste, A., Fabre, E., Haar, S., Jard, C.: Diagnosis of asynchronous discrete event systems: A net unfolding approach. IEEE Transactions on Automatic Control 48(5), 714–727 (2003)

    Article  MathSciNet  Google Scholar 

  4. Bertsimas, D., Gamarnik, D., Tsitsiklis, J.N.: Stability conditions for multiclass fluid queueing networks. IEEE Transaction on Automatic Control 41(11), 1618–1631 (2002)

    Article  MathSciNet  Google Scholar 

  5. Boel, R.K., van Schuppen, J.H.: Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In: Proc. 6th Int. Workshop on Discrete Event Systems, Zaragoza, Spain (2002)

    Google Scholar 

  6. Boel, R.K., Jiroveanu, G.: Distributed contextual diagnosis for very large systems. In: Proc. 7th Int. Workshop on Discrete Event Systems, Reims, France (2004)

    Google Scholar 

  7. Cabasino, M.P., Mahulea, C., Seatzu, C., Silva, M.: Fault diagnoser design for untimed continuous Petri nets. In: Proc. Int. Symposium on Intelligent Control, Saint Petersburg, Russia (2009)

    Google Scholar 

  8. Cabasino, M.P., Mahulea, C., Seatzu, C., Silva, M.: New Results for Fault Detection of untimed Continuous Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China (2009)

    Google Scholar 

  9. Cabasino, M.P., Giua, A., Seatzu, C.: Diagnosability of bounded Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China (2009)

    Google Scholar 

  10. Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: Diagnosability analysis of unbounded Petri nets. In: Proc. 48th IEEE Conf. on Decision and Control, Shanghai, China (2009)

    Google Scholar 

  11. Cabasino, M.P., Giua, A., Seatzu, C.: Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9), 1531–1539 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  12. Cabasino, M.P., Giua, A., Paoli, A., Seatzu, C.: A new protocol for the decentralized diagnosis of labeled Petri nets. In: Proc. 10th IFAC Int. Workshop on Discrete Event Systems, Berlin, Germany (2010)

    Google Scholar 

  13. Cabasino, M.P., Giua, A., Paoli, A., Seatzu, C.: Decentralized diagnosis of Petri nets. In: Proc. 2010 American Control Conference, Baltimore, USA (2010)

    Google Scholar 

  14. Cabasino, M.P., Mahulea, C., Seatzu, C., Silva, M.: Fault diagnosis of discrete-event systems using continuous Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A (to appear, 2012)

    Google Scholar 

  15. Cabasino, M.P., Giua, A., Paoli, A., Seatzu, C.: Decentralized diagnosability analysis of discrete event systems using Petri nets. In: Proc. 18th IFAC World Congress, Milan, Italy (2011)

    Google Scholar 

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

    Article  Google Scholar 

  17. Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: A new approach for diagnosability analysis of Petri nets using Verifier Nets. Transactions on Automatic Control (to appear, 2012)

    Google Scholar 

  18. Chen, H., Yao, D.D.: Fundamentals of queueing networks: Performance, asymptotics and optimization. Springer (2011)

    Google Scholar 

  19. Corona, D., Giua, A., Seatzu, C.: Marking estimation of Petri nets with silent transitions. IEEE Transactions on Automatic Control 52(9), 1695–1699 (2007)

    Article  MathSciNet  Google Scholar 

  20. David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer (2004)

    Google Scholar 

  21. Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Event Dynamic Systems 10(1), 33–86 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  22. Dotoli, M., Fanti, M.P., Mangini, A.M.: Fault detection of discrete event systems using Petri nets and integer linear programming. In: Proc. 17th IFAC World Congress, Seoul, Korea (2008)

    Google Scholar 

  23. Dotoli, M., Fanti, M.P., Mangini, A.M., Ukovich, W.: Identification of the unobservable behaviour of industrial automation systems by Petri nets. Control Engineering Practice 19(9), 958–966 (2011)

    Article  Google Scholar 

  24. Garcia, E., Correcher, A., Morant, F., Quiles, E., Blasco, R.: Modular fault diagnosis based on discrete event systems. Discrete Event Dynamic Systems 15(3), 237–256 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  25. Genc, S., Lafortune, S.: Distributed Diagnosis of Place-Bordered Petri Nets. IEEE Transactions on Automation Science and Engineering 4(2), 206–219 (2007)

    Article  Google Scholar 

  26. Ghazel, M., Togueni, A., Bigang, M.: A monitoring approach for discrete events systems based on a time Petri net model. In: Proc. 6th IFAC World Congress, Prague, Czech Republic (2005)

    Google Scholar 

  27. Hadjicostis, C.N., Veghese, G.C.: Monitoring Discrete Event Systems Using Petri Net Embeddings. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 188–207. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  28. Zad, H., Kwong, R.H., Wonham, W.M.: Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Transactions on Automatic Control 48(7), 1199–1212 (2003)

    Article  Google Scholar 

  29. Jiroveanu, G., Boel, R.K.: Contextual analysis of Petri nets for distributed applications. In: Proc. 16th Int. Symp. on Mathematical Theory of Networks and Systems, Leuven, Belgium (2004)

    Google Scholar 

  30. Lefebvre, D., Delherm, C.: Diagnosis of DES with Petri net models. IEEE Transactions on Automation Science and Engineering 4(1), 114–118 (2007)

    Article  Google Scholar 

  31. Lunze, J., Schroder, J.: Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics 34(3), 1096–1107 (2004)

    Article  Google Scholar 

  32. Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Informatik-Fachberichte: Application and Theory of Petri Nets, vol. 52, pp. 301–310. Springer (1982)

    Google Scholar 

  33. Miyagi, P.E., Riascos, L.A.M.: Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Engineering Practice 14(4), 397–408 (2010)

    Article  Google Scholar 

  34. Prock, J.: A new tecnique for fault detection using Petri nets. Automatica 27(2), 239–245 (1991)

    Article  MathSciNet  Google Scholar 

  35. Ramirez-Treviño, A., Ruiz-Beltrán, E., Rivera-Rangel, I., Lopez-Mellado, E.: Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Transactions on Automation Science and Engineering 4(1), 31–39 (2007)

    Article  Google Scholar 

  36. Recalde, L., Teruel, E., Silva, M.: Autonomous Continuous P/T Systems. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  37. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40(9), 1555–1575 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  38. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4(2), 105–124 (1996)

    Article  Google Scholar 

  39. Sampath, M., Lafortune, S.: Active diagnosis of discrete-event systems. IEEE Transactions on Automatic Control 43(7), 908–929 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  40. Silva, M., Velilla, S.: Error detection and correction on Petri net models of discrete control systems. In: Proc. IEEE Int. Symp. on Circuits and Systems, Kyoto, Japan (1985)

    Google Scholar 

  41. Silva, M., Recalde, L.: On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control 28(2), 253–266 (2004)

    Article  Google Scholar 

  42. Sreenivas, V.S., Jafari, M.A.: Fault detection and monitoring using time Petri nets. IEEE Transactions on Systems, Man and Cybernetics 23(4), 1155–1162 (1993)

    Article  Google Scholar 

  43. Sun, G., Cassandras, C.G., Panayiotou, C.G.: Perturbation analysis of multiclass stochastic fluid models. Discrete Event Dynamic Systems 14(3), 267–307 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  44. Viswanadham, N., Johnson, T.L.: Fault detection and diagnosis of automated manufacturing systems. In: Proc. 2th IEEE Conf. on Decision and Control, Austin, Texas (1988)

    Google Scholar 

  45. Wu, Y., Hadjicostis, C.N.: Algebraic approaches for fault identification in discrete-event systems. IEEE Transactions on Robotics and Automation 50(12), 2048–2053 (2005)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy

    Maria Paola Cabasino, Alessandro Giua & Carla Seatzu

Authors
  1. Maria Paola Cabasino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandro Giua
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carla Seatzu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maria Paola Cabasino .

Editor information

Editors and Affiliations

  1. , Department of Electrical, University of Cagliari, Piazza D'Armi, Cagliari, 09124, Italy

    Carla Seatzu

  2. , Department of Computer Science, University of Zaragoza, Calle María de Luna 1, Zaragoza, 50018, Spain

    Manuel Silva

  3. Centrum Wiskunde & Informatica, Amsterdam, 1090 GB, Netherlands

    Jan H. van Schuppen

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag London

About this chapter

Cite this chapter

Cabasino, M.P., Giua, A., Seatzu, C. (2013). Diagnosis of Petri Nets. In: Seatzu, C., Silva, M., van Schuppen, J. (eds) Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, vol 433. Springer, London. https://doi.org/10.1007/978-1-4471-4276-8_14

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-4276-8_14

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-4275-1

  • Online ISBN: 978-1-4471-4276-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation