1. extended version, available as IRISA report No 1540, http://www.irisa.fr/bibli/publi/pi/2003/1540/1540.html
2. Aghasaryan, A., Dousson, C., Fabre, E., Pencolé, Y., Osmani, A.: Modeling Fault Propagation in Telecommunications Networks for Diagnosis Purposes. XVIII World Telecommunications Congress September 22–27, 2002 – Paris, France (2002), Available: http://www.irisa.fr/sigma2/benveniste/pub/topic_distribdiag.html
3. 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) (May 2003), Preliminary version available from http://www.irisa.fr/sigma2/benveniste/pub/IEEE_TAC_AsDiag_2003.html
4. Benveniste, A., Haar, S., Fabre, E.: Markov Nets: probabilistic Models for Distributed and Concurrent Systems. INRIA Report 4235 (2001), available electronically at http://www.inria.fr/rrrt/rr-4754.html
5. Caillaud, B., Badouel, E., Darondeau, P.: Distributing Finite Automata through Petri Net Synthesis. Journal on Formal Aspects of Computing 13, 447–470 (2002)