S. Behnel, R. Bradshaw, C. Citro, L. Dalcin, D. Seljebotn et al., Cython: The Best of Both Worlds, Computing in Science & Engineering, vol.13, issue.2, 2011.
DOI : 10.1109/MCSE.2010.118

R. Bouroulet, H. Klaudel, and E. Pelz, Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language), Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
DOI : 10.1109/ACSD.2006.12
URL : https://hal.archives-ouvertes.fr/hal-00340477

E. Clarke, A. Emerson, and J. Sifakis, Model checking, Communications of the ACM, vol.52, issue.11, 2007.
DOI : 10.1145/1592761.1592781

R. Esser, Dining philosophers Petri net, 1998.

S. Evangelista, Méthodes et outils de vérification pour les réseaux de Petri de haut niveau, CNAM, 2006.

S. Evangelista, S. Haddad, and J. , Pradat-Peyre. Syntactical colored Petri nets reductions, ATVA'05, 2005.

S. Evangelista and L. Kristensen, Search-order independent state caching. ToP- NOC III, to appear, 2010.
DOI : 10.1007/978-3-642-18222-8_2

S. Evangelista and J. Pradat-peyre, An efficient algorithm for the enabling test of colored Petri nets, CPN'04, number 570 in DAIMI report PB. University ofÅrhus ofÅrhus, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01124934

S. Evangelista and J. Pradat-peyre, Memory Efficient State Space Storage in Explicit Software Model Checking, SPIN'05, 2005.
DOI : 10.1007/11537328_7
URL : https://hal.archives-ouvertes.fr/hal-01125050

S. Evangelista, M. Westergaard, and L. Kristensen, The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection, ToPNOC III, vol.5800, pp.189-215, 2009.
DOI : 10.1007/978-3-642-04856-2_8

L. Fronc, Analyse efficace des réseaux de Petri par des techniques de compilation. Master's thesis, MPRI, university of, 2010.

L. Fronc and F. Pommereau, Proving a Petri net model-checker implementation, IBISC, 2011.

F. Gava, M. Guedj, and F. Pommereau, A BSP Algorithm for the State Space Construction of Security Protocols, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, 2010.
DOI : 10.1109/PDMC-HiBi.2010.14
URL : https://hal.archives-ouvertes.fr/hal-00669177

H. Genrich and K. Lautenbach, S-invariance in Predicate/Transition Nets, European Workshop on Applications and Theory of Petri Nets, 1982.
DOI : 10.1007/978-3-642-69028-0_8

G. Holzmann, An improved protocol reachability analysis technique. Software, Practice and Experience, 1988.
DOI : 10.1002/spe.4380180203
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.2653

K. Jensen and L. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 2009.

R. Jourdier, Compilation de réseaux de Petri colorés, 2009.

H. Klaudel, M. Koutny, E. Pelz, and F. Pommereau, State space reduction for dynamic process creation, Scientific Annals of Computer Science, vol.20, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00666663

C. Lattner, The LLVM compiler infrastructure

R. Mahadevan, Python bindings for LLVM

K. Millman and M. Aivazis, Python for Scientists and Engineers, Computing in Science & Engineering, vol.13, issue.2, 2011.
DOI : 10.1109/MCSE.2011.36

C. Pajault and S. Evangelista, Helena: a high level net analyzer

F. Pommereau, SNAKES is the net algebra kit for editors and simulators

F. Pommereau, Quickly prototyping Petri nets tools with SNAKES. Petri net newsletter, 2008.
DOI : 10.4108/icst.simutools2008.3007
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.9790

F. Pommereau, Algebras of coloured Petri nets, 2010.

C. Reinke, Haskell-Coloured Petri Nets, IFL'99, 1999.
DOI : 10.1007/10722298_10