Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach

Authors:
Albert Benveniste;Eric Fabre;Claude Jard;Stefan Haar
Affiliations:
-;-;-;-
Venue:
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Year:
2002

Citing 0
Cited 2

Coloured Petri Nets for Chronicle Recognition

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Safe diagnosability for fault-tolerant supervision of discrete-event systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper studies diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which neither global state nor global time are available. Instead, we use only local states in combination with a partial order model of time; our basic mathematical tool is that of Petri net unfoldings. This study was motivated by the problem of event correlation in telecommunications network management.