Distributed Unfolding of Petri Nets

Abstract : Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the system, which are then correlated with diagnoses from neighbouring supervisors. In this paper we propose a notion of system factorisation expressed in terms of pullback decomposition. To ensure coherence of the local views and completeness of the diagnosis, data exchange among the unfolders needs to be specified with care. We introduce interleaving structures as a format for data exchange between unfolders and we propose a distributed algorithm for computing local views of the unfolding for each system component. The theory of interleaving structures is developed to prove correctness of the distributed unfolding algorithm.
Type de document :
Communication dans un congrès
Aceto, Luca and Ingólfsdóttir, Anna. Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), 2006, Vienna, Austria, Austria. Springer, 3921, pp.126-141, 2006, 〈10.1007/11690634_9〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638316
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:17:12
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08

Identifiants

Collections

Citation

Paolo Baldan, Stefan Haar, Barbara König. Distributed Unfolding of Petri Nets. Aceto, Luca and Ingólfsdóttir, Anna. Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), 2006, Vienna, Austria, Austria. Springer, 3921, pp.126-141, 2006, 〈10.1007/11690634_9〉. 〈inria-00638316〉

Partager

Métriques

Consultations de la notice

94