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

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, vol.40, 1995.
DOI : 10.1017/CBO9780511526558

V. Diekert and G. Rozenberg, The Book of Traces, World Scientific, 1995.
DOI : 10.1142/2563

J. Engelfriet, Branching processes of Petri nets, Acta Informatica, vol.4, issue.6, pp.575-591, 1991.
DOI : 10.1007/BF01463946

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's unfolding algorithm, Formal Methods in System Design, vol.20, issue.3, pp.285-310, 2002.
DOI : 10.1007/3-540-61042-1_40

E. Fabre and A. Benveniste, Partial Order Techniques for Distributed Discrete Event Systems: Why You Can't Avoid Using Them, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.1678398

URL : https://hal.archives-ouvertes.fr/inria-00068387

E. Fabre, A. Benveniste, C. Jard, and S. Haar, Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach, IEEE Trans. Aut. Control, vol.48, issue.5
URL : https://hal.archives-ouvertes.fr/inria-00638345

E. Fabre, A. Benveniste, C. Jard, and S. Haar, 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

A. Giua and C. Seatzu, Observability of place/transition nets, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1424-1437, 2002.
DOI : 10.1109/TAC.2002.802769

A. Giua and C. Xie, Control of Safe Ordinary Petri Nets Using Unfolding, Discrete Event Dynamic Systems, vol.49, issue.7, pp.349-373, 2005.
DOI : 10.1007/s10626-005-4057-z

URL : https://hal.archives-ouvertes.fr/emse-00449397

S. Haar, A. Benveniste, E. Fabre, and C. Jard, Partial order diagnosability of discrete event systems using petri net unfoldings, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), 2003.
DOI : 10.1109/CDC.2003.1271732

URL : https://hal.archives-ouvertes.fr/inria-00638329

S. Haar, Unfold and cover: Qualitative diagnosability for Petri Nets, 2007 46th IEEE Conference on Decision and Control, 2007.
DOI : 10.1109/CDC.2007.4434691

URL : https://hal.archives-ouvertes.fr/inria-00638308

S. Haar, Diagnosability and Branching Process Semantics In: Object Petri Nets, Processes, and Object Calculi, pp.13-34

L. E. Holloway, B. H. Krogh, and A. Giua, A Survey of Petri Net Methods for Controlled Discrete event systems. Discrete Event Dynamic Systems, Theory and Applications, vol.7, pp.151-190, 1997.

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A Polynomial Time Algorithm for Diagnosability of Discrete Event Systems

V. Khomenko, M. Koutny, and W. Vogler, Canonical prefixes of Petri net unfoldings, Proc. CAV 2002, pp.95-118582, 2002.
DOI : 10.1007/s00236-003-0122-y

R. Kumar and M. A. Shayman, Formulae relating controllability, observability, and co-observability, Automatica, vol.34, issue.2, pp.211-215, 1998.
DOI : 10.1016/S0005-1098(97)00164-7

R. Kummetz and D. Kuske, The topology of Mazurkiewicz traces, Theoretical Computer Science, vol.305, issue.1-3, pp.237-258, 2003.
DOI : 10.1016/S0304-3975(02)00694-1

M. Z. Kwiatkowska, A metric for traces, Information Processing Letters, vol.35, issue.3, pp.129-135
DOI : 10.1016/0020-0190(90)90061-2

F. Lin, Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems, pp.197-212, 1994.

K. Mcmillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, 4th Workshop on Computer Aided Verification, pp.164-174, 1992.
DOI : 10.1007/3-540-56496-9_14

T. Murata, Petri nets: Properties, analysis and applications, Proc. of the IEEE, 1989.
DOI : 10.1109/5.24143

M. Nielsen, G. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981.
DOI : 10.1016/0304-3975(81)90112-2

J. L. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

W. Reisig, Petri nets, 1985.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

T. Yoo and S. Lafortune, Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete-Event Systems, IEEE Trans. Aut. Control, vol.47, issue.9, pp.1491-1495, 2002.