DocumentCode
1199144
Title
Diagnosis of asynchronous discrete-event systems: a net unfolding approach
Author
Benveniste, Albert ; Fabre, Eric ; Haar, Stefan ; Jard, Claude
Author_Institution
IRISA, INRIA, Rennes, France
Volume
48
Issue
5
fYear
2003
fDate
5/1/2003 12:00:00 AM
Firstpage
714
Lastpage
727
Abstract
In this paper, we consider the diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which no global state and no global time is available. Instead, we use only local states in combination with a partial order model of time. Our basic mathematical tool is that of net unfoldings originating from the Petri net research area. This study was motivated by the problem of event correlation in telecommunications network management.
Keywords
Petri nets; correlation methods; discrete event systems; fault diagnosis; telecommunication network management; Petri net research area; asynchronous discrete-event system diagnosis; event correlation; net unfolding; net unfoldings; partial order model; telecommunications network management; true concurrency approach; Algorithm design and analysis; Automata; Concurrent computing; Discrete event systems; Fault diagnosis; Interleaved codes; Petri nets; Sensor systems; Sensor systems and applications; Telecommunication network management;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/TAC.2003.811249
Filename
1198594
Link To Document