É. André, B. Barbot, C. Demoulins, L. M. Hillah, F. Hulin-hubard et al., 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

É. André, Y. Lembachar, L. Petrucci, F. Hulin-hubard, A. Linard et al., 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

R. Diestel, Graph theory. Graduate texts in mathematics, 2005.

L. Hillah, F. Kordon, C. Lakos, and L. Petrucci, Extending pnml scope: A framework to combine petri nets types In: T. Petri Nets and Other Models of Concurrency, pp.46-70978

L. Hillah, F. Kordon, L. Petrucci, and N. Trèves, 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

I. Iec, Software and Systems Engineering -High-level Petri Nets, Part 1: Concepts , Definitions and Graphical Notation, International Standard ISO, p.15909, 2004.

I. Iec, Software and Systems Engineering -High-level Petri Nets, 2011.

K. Jensen, W. M. Van-der-aalst, M. A. Marsan, G. Franceschinis, J. Kleijn et al., 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

E. Kindler, 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

F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista et al., Report on the model checking contest at petri nets In: T. Petri Nets and Other Models of Concurrency, pp.169-196978, 2011.

R. Lecureux and A. Chéret, Rp22: A petri net model of the dining philosophers problem, Rahan. Lécureux Productions, vol.20, 2008.