A. Ehrenfeucht and G. Rozenberg, Partial (set) 2-structures, Acta Informatica, vol.27, issue.4, pp.315-342, 1990.
DOI : 10.1007/BF00264611

A. Ehrenfeucht and G. Rozenberg, Partial (set) 2-structures, Acta Informatica, vol.27, issue.4, pp.343-368, 1990.
DOI : 10.1007/978-3-642-69968-9

E. Badouel, L. Bernardinello, and P. Darondeau, Petri Net Synthesis, pp.978-981, 2015.
DOI : 10.1007/978-3-662-47967-4
URL : https://hal.archives-ouvertes.fr/hal-01237142

E. Badouel, L. Bernardinello, and P. Darondeau, Polynomial algorithms for the synthesis of bounded nets, TAPSOFT'95, pp.364-378, 1995.
DOI : 10.1007/3-540-59293-8_207
URL : https://hal.archives-ouvertes.fr/inria-00074358

P. Darondeau, Deriving unbounded Petri nets from formal languages, CONCUR'98 Concurrency Theory, pp.533-548, 1998.
DOI : 10.1007/BFb0055646
URL : https://hal.archives-ouvertes.fr/inria-00073324

R. Lorenz, G. Juhás, and S. Mauser, How to synthesize nets from languages - a survey, 2007 Winter Simulation Conference
DOI : 10.1109/WSC.2007.4419657

J. Carmona, J. Cortadella, and M. Kishinevsky, A Region-Based Algorithm for Discovering Petri Nets from Event Logs, Lecture Notes in Computer Science, vol.16, issue.9, pp.358-373, 2008.
DOI : 10.1109/TKDE.2004.47

E. Best and R. Devillers, Synthesis and reengineering of persistent systems, Acta Informatica, vol.12, issue.1
DOI : 10.1023/A:1008649930696

E. Best and R. Devillers, Characterisation of the state spaces of marked graph Petri nets, Information and Computation, vol.253, pp.399-410, 2017.
DOI : 10.1016/j.ic.2016.06.006

J. Van-der-werf, B. Van-dongen, C. Hurkens, and A. Serebrenik, Process discovery using integer linear programming Available from, Fundamenta Informaticae, vol.94, pp.3-4387, 2009.

S. Van-zelst, B. Van-dongen, and W. Van-der-aalst, ILP-Based Process Discovery Using Hybrid Regions Available from: http://ceur-ws, In: Proceedings of ATAED, vol.1371, pp.47-61, 2015.

W. Van-der-aalst, Process Mining -Discovery, Conformance and Enhancement of Business Processes, 2001.

C. Alchourrón, P. Gärdenfors, and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331