A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems, Formal Methods and Software Engineering -15th International Conference on Formal Engineering Methods, ICFEM 2013, pp.199-214978, 2013. ,
DOI : 10.1007/978-3-642-41202-8_14
CosyVerif: An Open Source Extensible Verification Environment, 2013 18th International Conference on Engineering of Complex Computer Systems, pp.33-36, 2013. ,
DOI : 10.1109/ICECCS.2013.15
Graph theory. Graduate texts in mathematics, 2005. ,
Extending pnml scope: A framework to combine petri nets types In: T. Petri Nets and Other Models of Concurrency, pp.46-70978 ,
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language, 31st International Conference, PETRI NETS 2010, pp.318-327, 2010. ,
DOI : 10.1007/978-3-642-13675-7_20
URL : https://hal.archives-ouvertes.fr/hal-01125746
Software and Systems Engineering -High-level Petri Nets, Part 1: Concepts , Definitions and Graphical Notation, International Standard ISO, p.15909, 2004. ,
Software and Systems Engineering -High-level Petri Nets, 2011. ,
Transactions on Petri Nets and Other Models of Concurrency VI, Lecture Notes in Computer Science, vol.7400, pp.978-981, 2012. ,
DOI : 10.1007/978-3-642-35179-2
The ePNK: An Extensible Petri Net Tool for PNML, Proceedings. Lecture Notes in Computer Science, vol.3, issue.4, pp.318-327978, 2011. ,
DOI : 10.1007/978-3-642-13675-7_20
Report on the model checking contest at petri nets In: T. Petri Nets and Other Models of Concurrency, pp.169-196978, 2011. ,
Rp22: A petri net model of the dining philosophers problem, Rahan. Lécureux Productions, vol.20, 2008. ,