W. M. Van-der-aalst, Process mining, Communications of the ACM, vol.55, issue.8, pp.76-83, 2012.
DOI : 10.1145/2240236.2240257

W. M. Van-der-aalst, B. F. Van-dongen, C. W. Günther, A. Rozinat, E. Verbeek et al., Prom: The process mining toolkit, BPM (Demos). CEUR Workshop Proceedings, 2009.

E. Badouel, L. Bernardinello, and P. Darondeau, The synthesis problem for elementary net systems is NP-complete, Theoretical Computer Science, vol.186, issue.1-2, pp.107-134, 1997.
DOI : 10.1016/S0304-3975(96)00219-8
URL : https://hal.archives-ouvertes.fr/inria-00074122

E. Badouel and P. Darondeau, Theory of regions, Lecture Notes in Computer Science, vol.1491, pp.529-586, 1998.
DOI : 10.1007/3-540-65306-6_22

J. Carmona, The label splitting problem. T. Petri Nets and Other Models of Concurrency, pp.1-23, 2012.

J. Carmona, J. Cortadella, and M. Kishinevsky, Genet: A Tool for the Synthesis and Mining of Petri Nets, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.181-185, 2009.
DOI : 10.1109/ACSD.2009.6

P. Darondeau, Region Based Synthesis of P/T-Nets and Its Potential Applications, pp.16-23, 2000.
DOI : 10.1007/3-540-44988-4_2

P. Jannin and X. Morandi, Surgical models for computer-assisted neurosurgery, NeuroImage, vol.37, issue.3, p.7, 2007.
DOI : 10.1016/j.neuroimage.2007.05.034
URL : https://hal.archives-ouvertes.fr/inserm-00185435

M. Pietkiewicz-koutny, Transition systems of Elementary Net Systems with inhibitor arcs, Lecture Notes in Computer Science, vol.1248, pp.310-327, 1997.
DOI : 10.1007/3-540-63139-9_43

V. Schmitt, Flip-flop nets, STACS. Lecture Notes in Computer Science, vol.1046, pp.517-528, 1996.
DOI : 10.1007/3-540-60922-9_42
URL : https://hal.archives-ouvertes.fr/inria-00074096