System diagnosis using Petri nets

• Autorzy: Tabakow I.
• Języki publikacji: EN

Abstrakty

EN

This paper describes a possibility of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. 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. Next these two notions are extended to the set of all vertices, i.e., places and transitions of N. So the problem of fault identification of the vertices of N is transformed as a problem of fault identification of the places of a new net N' called a net simulator of N. Any transition in N' is assumed to be fault-free. To improve the inherent net fault distinguishability first some additional places called test points are introduced. Then, some structural properties concerning the net fault distinguishability measure are shown. The above mentioned possibility of using P-invariants in system diagnosis is dependent on the cardinality r of the corresponding P-cover of N. Hence the test point set reduction seems to be an important problem with respect to the required net fault distinguishability. In particular, it is shown that instead of (2/sup r/ - 1) r-variable intersection operations, for determination of the net k-distinguishability only 4r set operations can be used (3r 2-variable intersection operations, beginning with the computation of r sums of (r - 1) arguments, where r [right angle bracket]or= 3).

Słowa kluczowe

EN

system diagnosis; Petri net P-invariants; net oriented fault classification; D-partition; place-transition net; net k-distinguishability; fault identification; net simulator; fault-free transition; structural properties; net fault distinguishability measure

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Systems Science
• Rocznik: 2002
• Tom: Vol. 28, nr 2
• Strony: 95--106
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Tabakow I.

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

Bibliografia

• [1] ISHIDA Y., ADACHI N., TOKUMARY H., A diagnosability analysis by means of fault distance, International Journal of Systems Science, 17, U.K., 1986, 1105-1120.
• [2] MAYEDA W., Graph Theory, John Wiley & Sons, Inc., New York 1972, 523-557.
• [3] MURATA T., Petri nets and their applications, Journal Soc. Instrum. Control Eng., 22, Japan, 1983, 6572.
• [4] REISIG W., Petri Nets. An Introduction, Springer-Verlag, 1985, 15, 62-66.
• [5] REISIG W., A Primer in Petri Net Design, Springer-Verlag, 1992, 25-33.
• [6] TABAKOW I. G., Test Generation for Digital Systems Modeled by Petri Nets, The Fourth International Conference RELCOMEX’87, Poland, 1987, 115-122.
• [7] TABAKOW I. G., Using Petri net invariants in system diagnosis, Petri Net Newsletter 58, Germany, 2000,21-31.
• [8] TABAKOW I. G., Theory of the diagnosable systems. Fault distinguishability in information nets, Scientific Papers of the Institute of Technical Cybernetics of Wroclaw Technical University, No. 23, Monographs No. 5, Wroclaw 1975, 145 pp, (in Polish), (Library of Congress, Washington, call number: QA76.6.T3).
• [9] TABAKOW I. G., Digital circuits and systems: test generation and fault distinguishability. A mathematical approach, Monograph Oficyna Wyd. PWr., 2001, 193 pp.
• [10] IMMANUEL B., RANGARAJAN K., System diagnosis and k-distinguishability in Petri nets, Paper prepared for publication, India, 2002, 14 pp.