D. M. Beazley and W. Fulton, SWIG -Simplified Wrapper and Interface Generator

S. Behnel, R. Bradshaw, L. Dalcín, M. Florisson, V. Makarov et al., Cython -C-extensions for Python

B. Berthomieu and F. Vernadat, Time Petri nets analysis with TINA, Proc. of QEST'06, 2006.

E. Best, R. Devillers, and M. Koutny, Petri net algebra, 2001.

A. Bilgin, J. Ellson, E. Gansner, Y. Hu, and S. North, Graphviz -Graph Visualization Software

S. Chaou, G. Utard, and F. Pommereau, Evaluating a peer-to-peer storage system in presence of malicious peers, Proceedings of HPCS'11, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00669179

C. Di-guisto, H. Klaudel, and F. Delaplace, Systemic approach for toxicity analysis, Proc. of BioPPN'14. Workshop Proceedings, vol.1159, 2014.

A. Duret-lutz, LTL translation improvements in Spot, Proc. of VECoS'11. Electronic Workshops in Computing, 2011.

S. Evangeliste and . Helena,

, Free Software Foundation: GNU Lesser General Public License

L. Fronc, Neco net compiler

L. Fronc, Effective marking equivalence checking in systems with dynamic process creation, Proc. of Infinity'12. Electronic Proceedings in Theoretical Computer Science, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00739349

L. Fronc and A. Duret-lutz, LTL model checking with Neco, Proc. of ATVA'13, vol.8172, 2013.

L. Fronc and F. Pommereau, Building Petri nets tools around Neco compiler, Proc. of PNSE'13, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00911714

F. Gava, F. Pommereau, and M. Guedj, A BSP algorithm for on-the-fly checking CTL* formulas on security protocols, The Journal of Supercomputing, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00950415

T. C. Group, CPN tools

S. Haddad, F. Kordon, and L. Petruci,

K. Jensen and L. M. Kristensen, Coloured Petri Nets, Monographs in Theoretical Computer Science, vol.2, 1997.

E. Kindler and M. Weber, The Petri Net Kernel: An infrastructure for building Petri net tools. Software Tools for, Technology Transfer, vol.3, 1999.

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

M. Mohamed, M. Amziani, D. Belaïd, S. Tata, and T. Melliti, An autonomic approach to manage elasticity of business processes in the Cloud, Future Generation Computer Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01120908

F. Pommereau, SNAKES out of Python

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

F. Pommereau, Quickly prototyping Petri nets tools with SNAKES, Proc. of PNTAP'08, 2008.

F. Pommereau, Nets in nets with SNAKES, Proc. of MOCA'09, 2009.

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

, Python Software Foundation: Alternative Python implementations

C. Reinke, Haskell-coloured Petri nets, Proc. of IFL'99, vol.1868, 1999.

S. Sanjabi and F. Pommereau, Modelling, verification, and formal analysis of security properties in a P2P system, Proceedings of COLSEC'10, 2010.

V. Van-pham, Modelling and analysing open reconfigurable systems, 2014.