SWIG -Simplified Wrapper and Interface Generator ,
, Cython -C-extensions for Python
Time Petri nets analysis with TINA, Proc. of QEST'06, 2006. ,
Petri net algebra, 2001. ,
, Graphviz -Graph Visualization Software
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
Systemic approach for toxicity analysis, Proc. of BioPPN'14. Workshop Proceedings, vol.1159, 2014. ,
LTL translation improvements in Spot, Proc. of VECoS'11. Electronic Workshops in Computing, 2011. ,
,
, Free Software Foundation: GNU Lesser General Public License
Neco net compiler ,
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
LTL model checking with Neco, Proc. of ATVA'13, vol.8172, 2013. ,
Building Petri nets tools around Neco compiler, Proc. of PNSE'13, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00911714
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
, CPN tools
,
Coloured Petri Nets, Monographs in Theoretical Computer Science, vol.2, 1997. ,
The Petri Net Kernel: An infrastructure for building Petri net tools. Software Tools for, Technology Transfer, vol.3, 1999. ,
State space reduction for dynamic process creation, Scientific Annals of Computer Science, vol.20, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00666663
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
, SNAKES out of Python
Quickly prototyping Petri nets tools with SNAKES. Petri net newsletter, p.10, 2008. ,
Quickly prototyping Petri nets tools with SNAKES, Proc. of PNTAP'08, 2008. ,
Nets in nets with SNAKES, Proc. of MOCA'09, 2009. ,
Algebras of coloured Petri nets, 2010. ,
, Python Software Foundation: Alternative Python implementations
Haskell-coloured Petri nets, Proc. of IFL'99, vol.1868, 1999. ,
Modelling, verification, and formal analysis of security properties in a P2P system, Proceedings of COLSEC'10, 2010. ,
Modelling and analysing open reconfigurable systems, 2014. ,