Abstract
The subject of this paper is the theory of fault distinguishable discrete event systems. Any such 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. The system k-distinguishability measure is obtained in a unique way from the place-invariant matrix. For a large value of k, the system model is extended by using some set of additional places called test points. It is shown that the test point placement process will not change the above-assumed original net properties. Several examples are given.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
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 (Special issue on Hybrid Systems) 8(2), 203–231 (1998)
Immanuel, B., Rangarajan, K.: System diagnosis and k-distinguishability in Petri nets. Private communication, India, 14 (2001)
Mayeda, W.: Graph Theory, pp. 523–557. John Wiley & Sons Inc., New York (1972)
Murata, T.: Petri nets and their applications. Journal Soc. Instrum. Control Eng., Japan 22, 6572 (1983)
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)
Reisig, W.: Petri Nets. An Introduction, pp. 15, 62–66. Springer, Heidelberg (1985)
Reisig, W.: A Primer in Petri Net Design, pp. 25–33. Springer, Heidelberg (1992)
Tabakow, I.G.: Using Petri net invariants in system diagnosis. Petri Net Newsletter, Germany 58, 21–31 (2000)
Tabakow, I.G.: An introduction to the place-transition nets k-distinguishability. In: Concurrency, Specification and Programming. Workshop, vol. 2, pp. 355–369. Humboldt-Universität zu Berlin, Germany (2002)
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)
Tabakow, I.G.: Using place invariants to isolate faults in concurrent systems. Petri Net Newsletter, Germany 68, 10–20 (2005)
Tabakow, I.G.: Fault Diagnosis of Discrete Event Systems Using Place Invariants. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3682, pp. 541–547. Springer, Heidelberg (2005)
Zhou, M.C., DiCesare, F.: Petri net synthesis for discrete event control of manufacturing systems, 233 p. Kluwer Academic, Boston (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tabakow, I. (2006). Fault Distinguishability of Discrete Event Systems. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds) Computational Science – ICCS 2006. ICCS 2006. Lecture Notes in Computer Science, vol 3993. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11758532_24
Download citation
DOI: https://doi.org/10.1007/11758532_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34383-7
Online ISBN: 978-3-540-34384-4
eBook Packages: Computer ScienceComputer Science (R0)