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.
Partially supported by EC RTN 2-2001-00346 SegraVis, MIUR project PRIN 2005015824 ART, European NoE ARTIST (IST-2001-34820), French RNRT project SWAN (No. 03 S 481), DFG project SANDS, SFB 627 (NEXUS).
Chapter PDF
References
Adamek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories - The Joy of Cats. Wiley, Chichester (1990)
Baldan, P., Haar, S., König, B.: Distributed unfolding of petri nets. Technical Report CS-2006-1, Department of Computer Science, University Ca’ Foscari of Venice (2006)
Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. on Automatic Control 48(5), 714–727 (2003)
Benveniste, A., Haar, S., Fabre, E., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 1–26. Springer, Heidelberg (2003)
Boel, R., van Schuppen, J.: Decentralized failure diagnosis for discrete event systems with costly communication between diagnosers. In: Proc. 6th Int. Workshop on Discrete event Systems (WODES), pp. 175–181 (2002)
Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)
Fabre, E.: Factorization of unfoldings for distributed tile systems, part 1: Reduced interaction case. Technical Report 4829, INRIA (May 2003)
Fabre, E.: Factorization of unfoldings for distributed tile systems, part 2: General case. Technical Report 5186, INRIA (May 2004)
Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dynamic Systems: theory and application 15(1), 33–84 (2005)
Genc, S., Lafortune, S.: Distributed Diagnosis of discrete-event systems using Petri net unfoldings. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 316–336. Springer, Heidelberg (2003)
Heljanko, K., Khomenko, V., Koutny, M.: Parallelisation of the petri net unfolding algorithm. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol. 2280, pp. 371–385. Springer, Heidelberg (2002)
Mac Lane, S.: Categories for the working mathematician. Springer, Heidelberg (1971)
Meseguer, J., Montanari, U., Sassone, V.: Process versus unfolding semantics for Place Transition Petri nets. Theoret. Comp. Sci. 153(1-2), 171–210 (1996)
Nielsen, M., Plotkin, G., Winskel, G.: Petri Nets, Event Structures and Domains, Part 1. Theoret. Comp. Sci. 13, 85–108 (1981)
Reisig, W.: Petri Nets. An Introduction. In: EATCS Monographs on Theoretical Computer Science, vol. 4, Springer, Heidelberg (1982)
Ricker, S.L., van Schuppen, J.: Decentralized failure diagnosis with asynchronous communication between diagnosers. In: Proc. of the European Control Conference (2001)
Ricker, S.L., Rudie, K.: Distributed knowledge for communication in decentralized discrete-event systems. In: Proc. of the IEEE Conference on Decision and Control (CDC) (2001)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. on Automatic Control 40(9), 1555–1575 (1995)
Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baldan, P., Haar, S., König, B. (2006). Distributed Unfolding of Petri Nets. In: Aceto, L., Ingólfsdóttir, A. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2006. Lecture Notes in Computer Science, vol 3921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11690634_9
Download citation
DOI: https://doi.org/10.1007/11690634_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33045-5
Online ISBN: 978-3-540-33046-2
eBook Packages: Computer ScienceComputer Science (R0)