KES 2005: Knowledge-Based Intelligent Information and Engineering Systems pp 541-547 | Cite as
Fault Diagnosis of Discrete Event Systems Using Place Invariants
Conference paper
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.
Preview
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)MATHCrossRefMathSciNetGoogle 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)MATHGoogle 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)MATHGoogle 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)MATHGoogle Scholar
- 8.Reisig, W.: A Primer in Petri Net Design, pp. 25–33. Springer, Heidelberg (1992)MATHGoogle 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)MATHMathSciNetGoogle Scholar
- 13.Zhou, M.C., DiCesare, F.: Petri net synthesis for discrete event control of manufacturing systems, p. 233. Kluwer Academic, Boston (1993)MATHGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2005