Diagnosis-time assessment in discrete event systems using timed Petri nets

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

Abstrakty

EN

This paper describes a method of diagnosis-time assessment in discrete event systems. Any such system is modelled by a live, bounded, and reversible place-transition Petri net N. There are assumed some deterministically given delays associated with the transitions of N, and hence, N is assumed to be deterministic timed. Without loss of generality, the single place fault model is considered below and the corresponding diagnosis process is assumed to be sequential. 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. Then, the corresponding net place invariants are computed. 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 and at the same time preserving the original net properties. In accordance with the above assumption of sequential fault diagnosis, the process of fault isolation is carried out step by step, where each step depends on the result of the diagnostic experiment at the previous step. Hence, the diagnosis-time assessment is realised by computing the absolute value of the time difference between the minimum cycle time of N and the worst-case fault-isolation time according to the diagnostic tree obtained. The complexity of the method proposed depends on the effectivity of the existing algorithms for computation of the P-cover, i.e., the set of P-invariants covering N. The approach proposed can be extended to higher level Petri nets, e.g., such as coloured ones. Several examples are given.

Słowa kluczowe

EN

discrete event system; deterministic-timed Petri net; sequential fault diagnosis; P-invariant; D-partition; time assessment

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Systems Science
• Rocznik: 2008
• Tom: Vol. 34, no 3
• Strony: 17--23
• Opis fizyczny: Bibliogr. 15 poz., rys.

Twórcy

autor

Tabakow I.

• Computer Science Department, Wrocław University of Technology, Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland,

Bibliografia

• [1] Aghasaryan A., Fabre E., Berweniste A., Boubour R., Jard C., Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets, Discrete Event Dynamie Systems 8, 2, (Special issue on Hybrid Systems), June 1998, pp. 203-231.
• [2] Immanuel B., Rangarajan K., System diagnosis and k-distinguishability in Petri nets, Private communication, India, 2001, 14 pp.
• [3] Murata T., Petri nets and their applications, Journal Soc. Instrum. Control Eng., Vol. 22, 1983, pp. 65-72.
• [4] Murata T., Petri nets: properties, analysis and applications, Proc. IEEE, Vol. 1, No. 4, 1989, pp. 541-580.
• [5] Pawlak Z., Rough Sets, Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, Dordrecht, Boston, London, 1991, 229 pp.
• [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, Vol. 1, No. 6, 2003, 6 pp.
• [7] Reisig W., Petri Nets. An Introduction, Springer-Yerlag, 1985, pp. 15, 62-66.
• [8] Reisig W., A Primer in Petri Net Design, Springer-Yerlag, 1992, pp. 25-33.
• [9] Tabakow I.G., Using Petri net invariants in system diagnosis, Petri Net Newsletter, 58, 2000, pp. 21-31.
• [10] Tabakow I.G., An introduction to the place-transition nets k-distinguishability, Concurrency, Specification and Programming, Workshop, Vol. 2, 2002, Humboldt-Universität zu Berlin, Germany, pp. 355-369.
• [11] Tabakow I.G., Using Test Points to Improve the Place-Transition Net k-Distinguishability, Proc. 7th World Multiconference on Systemics, Cybernetics and Informatics SCI 2003, Orlando, Florida USA, IX: Computer Science and Engineering, II, 2003, pp. 173-178.
• [12] Tabakow I.G., Using place invariants to isolate faults in concurrent systems, Petri Net Newsletter, 68, Germany, 2005, pp. 10-20+.
• [13] Tabakow I.G., Fault Diagnosis of Discrete Event Systems Using Place Invariants, Ninth Int. Conf. Knowledge-Based & Intelligent Information & Engineering Systems KES ‘2005, Invited Session on Communicative Intelligence, Melbourne, Australia, September 14-16, 2005, [in:] LNCS, Springer-Yerlag, Yol. 3682, 2005, pp. 541-547.
• [14] Tabakow I.G., Fault Distinguishability of Discrete Event Systems, Int. Conf. Computational Science, Workshop on Knowledge and Information Management in Computer Communication Systems KIMCCS ‘06, University of Reading, UK, May 28-31, 2006, [in:’ LNCS, Springer-Yerlag, Berlin/Heidelberg, Yol. 3993, 2006, Proceedings, Part III, Alexandrov Y.N., G.D. van Albada, P.M.A. Sloot and Dongarra J. (eds.), pp. 168-175.
• [15] Zhou M.C., Dicesare F., Petri net synthesis for discrete event control of manufacturing systems, Kluwer Academic, Dordrecht, Boston, London, 1993, 233 pp.