Distributed Unfolding of Petri Nets
Reference
Paolo Baldan, Stefan Haar, and Barbara König. Distributed unfolding of Petri nets. In Proc. of FOSSACS '06, pages 126–141. Springer, 2006. LNCS 3921.
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.
Suggested BibTeX entry:
@inproceedings{BHK06a,
author = {Paolo Baldan and Stefan Haar and Barbara K{\"o}nig},
booktitle = {Proc. of FOSSACS '06},
note = {LNCS 3921},
pages = {126--141},
publisher = {Springer},
title = {Distributed Unfolding of {P}etri Nets},
year = {2006}
}
