1. Clarke, E., Emerson, A., Sifakis, J.: Model checking: Algorithmic verification and debugging. ACM Turing Award (2007)
2. ADT Coq/INRIA. The Coq proof assistant, http://coq.inria.fr
3. Evangelista, S.: Méthodes et outils de vérification pour les réseaux de Petri de haut niveau. PhD thesis, CNAM, Paris, France (2006)
4. Fronc, L.: Analyse efficace des réseaux de Petri par des techniques de compilation. Master’s thesis, MPRI, university of Paris 7 (2010), http://www.ibisc.fr/~lfronc/pub/LF_2010.pdf
5. Fronc, L., Pommereau, F.: Proving a Petri net model-checker implementation. Technical report, IBISC, University of Évry (2010), http://goo.gl/WMzhp