Using place invariants to isolate faults in concurrent systems

Systems Science

Volumn 29, Issue 4, 2004, Pages 99-112

  Tabakow, Iwan ^a  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; CONCURRENCY CONTROL; FUNCTIONS; INVARIANCE; MATRIX ALGEBRA; PETRI NETS; PROBABILITY; SET THEORY; TREES (MATHEMATICS);

CONCURRENT SYSTEMS; FAULT DIAGNOSIS; FAULT ISOLATION; SYSTEM DEADLOCK;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 4344712794     PISSN: 01371223     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

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 (Special issue on Hybrid Systems), June 1998, 203-231.
2. IMMANUEL B., RANGARAJAN K., System diagnosis and k-distinguisliability in Petri nets, Private communication, India, 2001, 14 pp.
3. MAYEDA W., Graph Theory, John Wiley & Sons, Inc., New York 1972, 523-557.
4. MURATA T., Petri nets and their applications, Journal Soc. Instrum. Control Eng., 22, Japan, 1983, 6572.
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-Verlag, 1985, 15, 62-66.
8. REISIG W., A Primer in Petri Net Design, Springer-Verlag, 1992, 25-33.
9. TABAKOW I.G., Using Petri net invariants in system diagnosis, Petri Net Newsletter 58, Germany, 2000, 21-31.
10. TABAKOW I.G., An introduction to the place-transition nets k-distinguishability, Concurrency, Specification and Programming, Workshop, Vol. 2, Humboldt-Universität zu Berlin, Germany, 2002, 355-369.
11. TABAKOW I.G., Using Test Points to Improve the Place -Transition Net k-Distinguishability, Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics SCI 2003, Orlando, Florida USA, July 27-30, Vol. IX: Computer Science and Engineering II, 2003, 173-178. Also in: 5th Polish Conference on Knowledge Engineering and Expert Systems, Ofic. Wyd. TU Wrocław, Vol. 2, Wrocław 2003, 149-159.
12. TABAKOW I.G., Using Test Points to Improve the Place -Transition Net k-Distinguishability, Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics SCI 2003, Orlando, Florida USA, July 27-30, Vol. IX: Computer Science and Engineering II, 2003, 173-178. Also in: 5th Polish Conference on Knowledge Engineering and Expert Systems, Ofic. Wyd. TU Wrocław, Vol. 2, Wrocław 2003, 149-159.
13. ZHOU M. C., DICESARE F., Petri net synthesis for discrete event control of manufacturing systems, Kluwer Academic, Boston 1993, 233 pp.