Skip to main content
SpringerLink
Log in

Fault Diagnosis of Discrete Event Systems Using Place Invariants

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2005)

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

Abstract

This paper describes a method of using Petri net P-invariants in system diagnosis. The considered discrete event system is modelled by a live, bounded, and reversible place-transition net. The notions of D-partition of the set of places P of a given place-transition net N and net k-distinguishability are first introduced. Two different diagnosis test strategies are discussed and several examples are given.

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 84.99
Price excludes VAT (USA)
  • Available as 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., Jard, C.: Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. Discrete Event Dynamic Systems 8(2), 203–231 (1998), (Special issue on Hybrid Systems)

    Article  MATH  MathSciNet  Google Scholar 

  2. Immanuel, B., Rangarajan, K.: System diagnosis and k-distinguishability in Petri nets. In: Private communication, India, p. 14 (2001)

    Google Scholar 

  3. Mayeda, W.: Graph Theory, pp. 523–557. John Wiley & Sons, Inc., New York (1972)

    MATH  Google Scholar 

  4. Murata, T.: Petri nets and their applications. Journal Soc. Instrum. Control Eng. 22, 6572 (1983)

    Google Scholar 

  5. Pawlak, Z.: Rough Sets, Theoretical Aspects of Reasoning about Data, p. 229. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

  6. Pietschker, A., Ulrich, A.: A light-weight method for trace analysis to support fault diagnosis in concurrent systems. Journal of Systemics, Cybernetics and Informatics 1(6), 6 (2003)

    Google Scholar 

  7. Reisig, W.: Petri Nets.An Introduction, pp. 62–66. Springer, Heidelberg (1985)

    MATH  Google Scholar 

  8. Reisig, W.: A Primer in Petri Net Design, pp. 25–33. Springer, Heidelberg (1992)

    MATH  Google Scholar 

  9. Tabakow, I.G.: Using Petri net invariants in system diagnosis. Petri Net Newsletter 58, 21–31 (2000)

    Google Scholar 

  10. Tabakow, I.G.: An introduction to the place-transition nets k-distinguishability. In: Concurrency, Specification and Programming. Workshop, Humboldt-Universität zu Berlin, Germany, vol. 2, pp. 355–369 (2002)

    Google Scholar 

  11. Tabakow, I.G.: Using Test Points to Improve the Place -Transition Net k-Distinguishability. In: Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics SCI 2003, Orlando, Florida USA, July 27-30. Computer Science and Engineering II, vol. IX, pp. 173–178 (2003)

    Google Scholar 

  12. Tabakow, I.G.: Using place invariants to isolate faults in concurrent systems. Systems Science 29(4), 99–112 (2003)

    MATH  MathSciNet  Google Scholar 

  13. Zhou, M.C., DiCesare, F.: Petri net synthesis for discrete event control of manufacturing systems, p. 233. Kluwer Academic, Boston (1993)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Wroclaw University of Technology, Poland

    Iwan Tabakow

Authors
  1. Iwan Tabakow
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Business, La Trobe University, 3086, Melbourne, Victoria, Australia

    Rajiv Khosla

  2. Centre for SMART systems Engineering Research Centre, University of Brighton, BN2 4GJ, Moulsecoomb, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tabakow, I. (2005). Fault Diagnosis of Discrete Event Systems Using Place Invariants. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_73

Download citation

  • DOI: https://doi.org/10.1007/11552451_73

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28895-4

  • Online ISBN: 978-3-540-31986-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation