Diagnosis of asynchronous discrete event systems, a net unfolding approach
By Albert Benveniste, É. Fabre, S. Haar, C. Jard. Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002
341 citations recorded by the source corpus.
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.
Subfields: Computational Theory and Mathematics, Management Information Systems
View Paper: https://www.semanticscholar.org/paper/63b9b9d4073dab19d3cfbbcb43d20e3618cdd7fe
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Management Information Systems
Citations in the corpus
- Overview of fault diagnosis methods for Discrete Event Systems (2013, methodology): “Distributed approaches (Benveniste et al., 2003; Pandalai & Hol-loway, 2000; Pencolé & Subias, 2009; Su & Wonham, 2004) achieve diagnosis using a set of local models without referring to a global system model (Fig.”
- Fault detection for discrete event systems using Petri nets with unobservable transitions (2005, background): “[13], Benveniste et al [1], [2], Jiroveanu and Boel [3], [8]”
- Decentralized failure diagnosis of discrete event systems (2006, methodology): “Polynomial complexity algorithms for testing [1; 1 ]diagnosability as well as for off-line diagnoser synthesis were presented in [12].”
- Asynchronous Consensus Protocols Using Nonlinear Paracontractions Theory (2008, methodology): “The procedure to construct iteration graphs also reminds us the net unfolding method for Petri nets [24].”