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

L. Fronc and F. Pommereau, Optimizing the compilation of Petri nets models, Proc. of SUMo'11, p.CEUR, 2011.

F. Kordon, L. Fronc, and F. Pommereau, Raw Report on the Model Checking Contest at Petri Nets 2012, 2012.

A. Duret-lutz, LTL translation improvements in Spot, Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11). Electronic Workshops in Computing, 2011.

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, pp.31-39, 2011.
DOI : 10.1109/MCSE.2010.118

L. Fronc, Effective Marking Equivalence Checking in Systems with Dynamic Process Creation, Infinity'12. Electronic Proceedings in Theoretical Computer Science, 2012.
DOI : 10.4204/EPTCS.107.6

URL : https://hal.archives-ouvertes.fr/hal-00739349

F. Pommereau, Quickly prototyping Petri nets tools with SNAKES. Petri net newsletter, 2008.

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

L. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Trèves, A primer on the Petri Net Markup Language and ISO/IEC 15909-2, 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01126017

L. Fronc, Neco net compiler wiki. goo.gl/CXrry, 2012.

V. Khomenko, Model checking based on Petri net unfolding prefixes, 2002.

C. Tismer, Continuations and stackless Python, Proceedings of the 8th International Python Conference, 2000.

M. Dufour, Shed skin, 2012.

C. F. Bolz, A. Cuni, M. Fijalkowski, and A. Rigo, Tracing the meta-level, Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS '09, 2009.
DOI : 10.1145/1565824.1565827