. Baldan, Unfolding-based diagnosis of systems with an evolving topology, Information and Computation, vol.208, issue.10, pp.1169-1192, 2010.
DOI : 10.1016/j.ic.2009.11.009
URL : https://hal.archives-ouvertes.fr/inria-00638204

. Debouk, 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

H. Esparza, K. Esparza, and . Heljanko, Implementing LTL model checking with net unfoldings, Proc. of SPIN'01, pp.37-56, 2001.
DOI : 10.1007/3-540-45139-0_4

. Esparza, An improvement of McMillan's unfolding algorithm, Form. Methods Syst. Des, vol.20, issue.3, pp.285-310, 2002.
DOI : 10.1007/3-540-61042-1_40

. Fabre, 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

O. Gastin, D. Gastin, and . Oddoux, Fast LTL to Büchi automata translation, Proc. of CAV'01, pp.53-65, 2001.

. Heljanko, Keijo Heljanko, Victor Khomenko, and Maciej Koutny. Parallelisation of the Petri net unfolding algorithm, Proc. of TACAS'2002, pp.371-385, 2002.

. Jiang, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2000.
DOI : 10.1109/9.940942

. Madalinski, . A. Khomenko, V. Madalinski, and . Khomenko, Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings, 2010 Conference on Control and Fault-Tolerant Systems (SysTol), pp.398-403, 2010.
DOI : 10.1109/SYSTOL.2010.5676089

]. K. Mcmillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, Proc. of CAV'92, pp.164-177, 1992.
DOI : 10.1007/3-540-56496-9_14

]. Y. Pencolé, Diagnosability analysis of distributed discrete event systems, ECAI, pp.43-47, 2004.

]. A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

. Ponce-de-león, Distributed analysis of diagnosability in concurrent systems, The 24th International Workshop on Principles of Diagnosis (DX'13), 2013.

. Sampath, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

H. Schumann, J. Schumann, and . Huang, A scalable jointree algorithm for diagnosability, AAAI, pp.535-540, 2008.

P. Schumann, Y. Schumann, and . Pencolé, Scalable diagnosability checking of event-driven system, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJ- CAI07, pp.575-580, 2007.

]. M. Vardi and P. Wolper, An automata theoretic approach to automatic program verification [Winskel, 1985] Glynn Winskel. Petri nets, morphisms and compositionality, Proc. of 1st IEEE LICS Applications and Theory in Petri Nets, pp.332-345, 1985.

D. L. Ye, P. Ye, and . Dague, Diagnosability analysis for self-observed distributed discrete event systems, VALID, pp.93-98, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00790135