Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 2009. ,
Optimizing the compilation of Petri nets models, Proc. of SUMo'11, p.CEUR, 2011. ,
Raw Report on the Model Checking Contest at Petri Nets 2012, 2012. ,
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. ,
Cython: The Best of Both Worlds, Computing in Science & Engineering, vol.13, issue.2, pp.31-39, 2011. ,
DOI : 10.1109/MCSE.2010.118
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
Quickly prototyping Petri nets tools with SNAKES. Petri net newsletter, 2008. ,
Algebras of coloured Petri nets, 2010. ,
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
Neco net compiler wiki. goo.gl/CXrry, 2012. ,
Model checking based on Petri net unfolding prefixes, 2002. ,
Continuations and stackless Python, Proceedings of the 8th International Python Conference, 2000. ,
Shed skin, 2012. ,
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