DocumentCode
2981548
Title
Diagnosis of asynchronous discrete event systems, a net unfolding approach
Author
Benveniste, Albert ; Fabre, Eric ; Jard, Claude ; Haar, Stefan
Author_Institution
IRISA, Rennes, France
fYear
2002
fDate
2002
Firstpage
182
Lastpage
187
Abstract
This paper studies the diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which neither the 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.
Keywords
Petri nets; concurrency theory; discrete event systems; fault diagnosis; Petri net; alarm correlation; asynchronous diagnosis; discrete event systems; fault diagnosis; local states; net unfoldings; partial order time model; true concurrency; Computer network management; Computer networks; Concurrent computing; Discrete event systems; Fault diagnosis; Interleaved codes; Mathematical model; Petri nets; Sensor systems; Telecommunication network management;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on
Print_ISBN
0-7695-1683-1
Type
conf
DOI
10.1109/WODES.2002.1167686
Filename
1167686
Link To Document