A. Aghasaryan, C. Jard, and J. Thomas, UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks, International Communication Conference (ICT), pp.841-847, 2004.
DOI : 10.1007/978-3-540-27824-5_111

S. Abbes and A. Benveniste, Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications, pp.95-109, 2005.
DOI : 10.1007/978-3-540-31982-5_6
URL : https://hal.archives-ouvertes.fr/hal-00350930

S. Abbes and A. Benveniste, True-concurrency probabilistic models, Information and Computation, vol.204, issue.2, pp.231-274, 2006.
DOI : 10.1016/j.ic.2005.10.001
URL : https://hal.archives-ouvertes.fr/hal-00350226

P. Baldan, S. Haar, and B. König, Distributed Unfolding of Petri Nets, Proc. of FOS- SACS 2006, pp.126-141, 2006.
DOI : 10.1007/11690634_9
URL : https://hal.archives-ouvertes.fr/inria-00638316

P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, Diagnosis of Large Active Systems, Artificial Intell, pp.135-183, 1999.

A. Benveniste, E. Fabre, S. Haar, and C. Jard, Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003.
DOI : 10.1109/TAC.2003.811249
URL : https://hal.archives-ouvertes.fr/inria-00638345

R. K. Boel and J. H. Van-schuppen, Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.175-181, 2002.
DOI : 10.1109/WODES.2002.1167685

R. K. Boel and G. Jiroveanu, Distributed Contextual Diagnosis for very Large Systems, Proc. of WODES'04, pp.343-348, 2004.

T. Chatain and C. Jard, Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets, 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), pp.196-210, 2005.
DOI : 10.1007/11603009_16
URL : https://hal.archives-ouvertes.fr/inria-00000342

O. Contant and S. Lafortune, Diagnosis of Modular Discrete Event Systems, Proc. of WODES'04, pp.337-342, 2004.

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems, Discrete Event Dynamic Systems, vol.10, issue.1/2, pp.33-86, 2000.
DOI : 10.1023/A:1008335115538

C. Dousson, P. Gaborit, and M. Ghallab, Situation Recognition: Representation and Algorithms, IJCAI, pp.166-174, 1993.

R. Devillers and H. Klaudel, Solving Petri Net Recursions Through Finite Representation, Proc of IASTED'04

E. Fabre, Factorization of Unfoldings for Distributed Tile Systems, Part 1 : Limited Interaction Case, Inria research report no, 2003.

E. Fabre, Part 2 : General Case, Inria research report no http://www.inria.fr/rrrt/rr-5186.html [16] E. Fabre, Convergence of the turbo algorithm for systems defined by local constraints, Irisa research report no. PI 1510, 2003.

E. Fabre, A. Benveniste, S. Haar, and C. Jard, Distributed Monitoring of Concurrent and Asynchronous Systems*, Discrete Event Dynamic Systems, vol.15, issue.1, pp.33-84, 2005.
DOI : 10.1007/s10626-005-5238-5
URL : https://hal.archives-ouvertes.fr/inria-00638342

E. Fabre, Distributed Diagnosis based on Trellis Processes, Proceedings of the 44th IEEE Conference on Decision and Control, pp.6329-6334, 2005.
DOI : 10.1109/CDC.2005.1583176

E. Fabre and C. Hadjicostis, A Trellis Notion for Distributed System Diagnosis with Sequential Semantics, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.1678445
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.213.192

C. J. Fidge, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991.
DOI : 10.1109/2.84874

S. Genc and S. Lafortune, Distributed Diagnosis of Discrete-Event Systems Using Petri Nets, proc. 24th Int. Conf. on Applications and Theory of Petri Nets, pp.316-336, 2003.
DOI : 10.1007/3-540-44919-1_21

S. Haar, A. Benveniste, E. Fabre, and C. Jard, FAULT DIAGNOSIS FOR DISTRIBUTED ASYNCHRONOUS DYNAMICALLY RECONFIGURED DISCRETE EVENT SYSTEMS, IFAC World Congress Praha, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00299
URL : https://hal.archives-ouvertes.fr/inria-00638317

S. Mac and L. , Categories for the Working Mathematician, 1998.

F. Mattern, Virtual time and global states of distributed systems, Proc. Int. Workshop on Parallel and Distributed Algorithms Bonas, France, 1988.

Y. Pencole, M. Cordier, and L. Roze, A DECENTRALIZED MODEL-BASED DIAGNOSTIC TOOL FOR COMPLEX SYSTEMS, International Journal on Artificial Intelligence Tools, vol.11, issue.03, pp.327-346, 2002.
DOI : 10.1142/S0218213002000927
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.9523

W. Qiu and R. Kumar, A New Protocol for Distributed Diagnosis, American Control Conference, 2006.

G. Rozenberg, Handbook on Graph Grammars and Computing by Graph Transformation 1 (Foundations, World Scientific, 1997.
DOI : 10.1142/3303

R. Su, Distributed Diagnosis for Discrete-Event Systems, 2004.

R. Su, W. M. Wonham, J. Kurien, and X. Koutsoukos, Distributed diagnosis for qualitative systems, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.169-174, 2002.
DOI : 10.1109/WODES.2002.1167684

R. Su and W. M. Wonham, Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency, Discrete Event Dynamic Systems, vol.10, issue.5, pp.39-70, 2006.
DOI : 10.1007/s10626-006-6178-4

S. Tripakis, Undecidable problems of decentralized observation and control, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001.
DOI : 10.1109/CDC.2001.980822

T. Yoo and S. Lafortune, A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems, J. Discrete Event Dynamic Systems, vol.12, issue.3, pp.335-377, 2002.
DOI : 10.1007/978-1-4615-4493-7_11