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-72710, 2003.
DOI : 10.1109/TAC.2003.811249
URL : https://hal.archives-ouvertes.fr/inria-00638345

J. Esparza, S. , 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 &. Benveniste, Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them, Discrete Event Dynamic Systems, vol.12, issue.3, pp.355-40310, 2007.
DOI : 10.1007/s10626-007-0016-1

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

U. Goltz, Synchronic distance Advances in Petri nets 1986, part I on Petri nets: central models and their properties, pp.338-358, 1987.

B. Grahlmann, The PEP tool, Computer Aided Verification, pp.440-443, 1997.
DOI : 10.1007/3-540-63166-6_43

S. Haar, Unfold and cover: Qualitative diagnosability for Petri Nets, 2007 46th IEEE Conference on Decision and Control, pp.1886-1891, 2007.
DOI : 10.1109/CDC.2007.4434691
URL : https://hal.archives-ouvertes.fr/inria-00638308

S. Haar, Qualitative diagnosability of labeled petri nets revisited, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp.1248-1253, 2009.
DOI : 10.1109/CDC.2009.5400917
URL : https://hal.archives-ouvertes.fr/inria-00638286

S. Haar, Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets, IEEE Transactions on Automatic Control, vol.55, issue.10, pp.2310-2320, 2010.
DOI : 10.1109/TAC.2010.2063490
URL : https://hal.archives-ouvertes.fr/inria-00379540

V. Khomenko, M. Koutny, &. Walter, and . Vogler, Canonical prefixes of Petri net unfoldings, Acta Informatica, vol.40, issue.2, pp.95-11810, 2003.
DOI : 10.1007/s00236-003-0122-y

L. Kenneth and . Mcmillan, Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits, Proc. CAV, pp.164-177, 1992.

T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

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

W. Reisig, Petri Nets: An Introduction. Monographs in Theoretical Computer Science, An EATCS Series, vol.4, 1985.

S. Schwoon, The Mole tool

W. Zhao, Y. Huang, and &. Yuan, Synchronic Distance Based Workflow Logic Specification, 2008 10th IEEE International Conference on High Performance Computing and Communications, pp.819-824, 2008.
DOI : 10.1109/HPCC.2008.48