Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings

@article{Esparza2012ReactiveAP,
  title={Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings},
  author={Javier Esparza and Christian Kern},
  journal={2012 12th International Conference on Application of Concurrency to System Design},
  year={2012},
  pages={154-163}
}
We present a diagnosis algorithm for distributed systems modeled as products of transition systems, a model very close to Petri nets. Following the seminal work of Benveniste, Fabre, Haar, and Jard, our algorithm palliates the state-explosion problem by means of the unfolding technique. Given an observation (partial information about a firing sequence), the algorithm constructs a prefix of the unfolding, a compact representation of the executions of the system compatible with the observation… CONTINUE READING

Similar Papers

Loading similar papers…