Fault diagnosis of discrete event systems using place invariants

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3682 LNAI, Issue , 2005, Pages 541-547

  Tabakow, Iwan ^a  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DISCRETE TIME CONTROL SYSTEMS; INTELLIGENT NETWORKS; KNOWLEDGE BASED SYSTEMS;

DISCRETE EVENT SYSTEMS; FAULT DIAGNOSIS; P-INVARIANTS; PLACE INVARIANTS;

PETRI NETS;

EID: 33745321944     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11552451_73     Document Type: Conference Paper

References (13)

1. Aghasaryan A., Fahre E., Benveniste A., Boubour R. and 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), (1998) 203-231.
2. Immanuel B. and Rangarajan K., System diagnosis and k-distinguishability in Petri nets, Private communication, India (2001) 14.
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.
6. Pietschker A. and 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.
7. Reisig W., Petri Nets.An Introduction. Springer-Verlag (1985) 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. th World Multiconference on Systemics, Cybernetics and Informatics SCI 2003, Orlando, Florida USA, July 27-30, vol. IX: Computer Science and Engineering n (2003) 173-178.
12. Tabakow I.G., Using place invariants to isolate faults in concurrent systems. Systems Science vol.29 no.4, Poland (2003) 99-112.
13. Zhou M.C. and DiCesare F., Petri net synthesis for discrete event control of manufacturing systems. Kliwer Academic, Boston (1993) 233.