W. M. Van-der-aalst, Process Mining -Data Science in Action, 2016.

J. Carmona, B. F. Van-dongen, A. Solti, and M. Weidlich, Conformance Checking -Relating Processes and Models, 2018.

J. Pearl, Reasoning under uncertainty, Annual Review of Computer Science, vol.4, issue.1, pp.37-72, 1990.

E. Badouel, L. Bernardinello, and P. Darondeau, Petri Net Synthesis, Texts in Theoretical Computer Science. An EATCS Series, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01237142

M. Kerremans, Gartner Market Guide for Process Mining, 2018.

R. Koplowitz, C. Mines, A. Vizgaitis, and A. Reese, Process Mining: Your Compass For Digital Transformation: The Customer Journey Is The Destination, 2019.

, TFPM: Process Mining Case Studies, 2017.

, Celonis: Process Mining Success Story: Innovation is an Alliance with the Future, 2017.

S. Leemans, D. Fahland, and W. Van-der-aalst, Scalable process discovery and conformance checking. Software and Systems Modeling, pp.1-33, 2016.

S. Leemans, D. Fahland, and W. Aalst, Discovering Block-structured Process Models from Event Logs: A Constructive Approach, Applications and Theory of Petri Nets, vol.7927, pp.311-329, 2013.

W. Aalst, Discovering the "Glue" Connecting Activities -Exploiting Monotonicity to Learn Places Faster, It's, pp.1-20, 2018.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-574, 1989.

W. Aalst, Relating Process Models and Event Logs: 21 Conformance Propositions, Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data, vol.2115, pp.56-74, 2018.

J. C. Buijs, B. F. Van-dongen, and W. M. Van-der-aalst, Quality dimensions in process discovery: The importance of fitness, precision, generalization and simplicity, Int. J. Cooperative Inf. Syst, vol.23, issue.1, 2014.

W. M. Van-der-aalst, K. M. Van-hee, A. H. Ter-hofstede, N. Sidorova, H. M. Verbeek et al., Soundness of workflow nets: classification, decidability, and analysis, Formal Asp. Comput, vol.23, issue.3, pp.333-363, 2011.

S. Leemans, D. Fahland, and W. Aalst, Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2013, vol.171, pp.66-78, 2014.

S. Leemans, Robust Process Mining With Guarantees, 2017.

A. Ehrenfeucht and G. Rozenberg, Partial (Set) 2-Structures. Part I, II, Acta Informatica, vol.27, pp.315-368, 1990.

J. Carmona, J. Cortadella, and M. Kishinevsky, New region-based algorithms for deriving bounded Petri nets, IEEE Transactions on Computers, vol.59, issue.3, pp.371-384, 2009.

W. M. Van-der-aalst, V. Rubin, H. M. Verbeek, B. F. Van-dongen, E. Kindler et al., Process mining: a two-step approach to balance between underfitting and overfitting. Software and Systems Modeling, 2009.

J. Desel and W. Reisig, The synthesis problem of Petri nets, Acta Inf, vol.33, issue.4, pp.297-315, 1996.

J. Carmona, Projection approaches to process mining using region-based techniques, Data Min. Knowl. Discov, vol.24, issue.1, pp.218-246, 2012.

M. Solé and J. Carmona, Light region-based techniques for process discovery. Fundam, Inform, vol.113, issue.3-4, pp.343-376, 2011.

M. Solé and J. Carmona, Incremental process discovery, Trans. Petri Nets and Other Models of Concurrency, vol.5, pp.221-242, 2012.

M. Solé and J. Carmona, Region-based foldings in process discovery, IEEE Trans. Knowl. Data Eng, vol.25, issue.1, pp.192-205, 2013.

P. Darondeau, Deriving Unbounded Petri Nets from Formal Languages, CON-CUR, pp.533-548, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073324

E. Badouel, L. Bernardinello, and P. Darondeau, Polynomial Algorithms for the Synthesis of Bounded Nets, pp.364-378, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00074358

R. Lorenz and R. Juhás, How to Synthesize Nets from Languages -a Survey, Proceedings of the Wintersimulation Conference (WSC) 2007, 2007.

R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser, Synthesis of petri nets from infinite partial languages, pp.170-179, 2008.

R. Lorenz, Towards synthesis of petri nets from general partial languages, pp.55-62, 2008.

R. Bergenthum, J. Desel, S. Mauser, and R. Lorenz, Synthesis of petri nets from term based representations of infinite partial languages, Fundam. Inform, vol.95, issue.1, pp.187-217, 2009.

S. Mauser and R. Lorenz, Variants of the language based synthesis problem for petri nets, pp.89-98, 2009.

W. M. Van-der-aalst and B. F. Van-dongen, Discovering petri nets from event logs, Trans. Petri Nets and Other Models of Concurrency, vol.7, pp.372-422, 2013.

R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser, Process mining based on regions of languages, BPM 2007, vol.4714, pp.375-383, 2007.

J. M. Van-der-werf, B. F. Van-dongen, C. A. Hurkens, and A. Serebrenik, Process discovery using integer linear programming, Fundam. Inform, vol.94, issue.3-4, pp.387-412, 2009.

S. J. Van-zelst, B. F. Van-dongen, W. M. Van-der-aalst, and H. M. Verbeek, Discovering workflow nets using integer linear programming, Computing, vol.100, issue.5, pp.529-556, 2018.

S. J. Van-zelst, B. F. Van-dongen, W. M. Van-der-aalst, R. Bergenthum, and J. Carmona, Ilp-based process discovery using hybrid regions, Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, vol.1371, pp.47-61, 2015.

A. Adriansyah, Aligning observed and modeled behavior, 2014.

M. De-leoni and A. Marrella, Aligning real process executions and prescriptive process models through automated planning, Expert Syst. Appl, vol.82, pp.162-183, 2017.

D. Reißner, R. Conforti, M. Dumas, M. L. Rosa, and A. Armas-cervantes, Scalable conformance checking of business processes, pp.607-627, 2017.

S. J. Leemans, D. Fahland, and W. M. Van-der-aalst, Scalable process discovery and conformance checking. Software and System Modeling, vol.17, pp.599-631, 2018.

F. Taymouri and J. Carmona, A recursive paradigm for aligning observed behavior of large structured process models, 14th International Conference of Business Process Management (BPM), 2016.

B. Van-dongen, J. Carmona, T. Chatain, and F. Taymouri, Aligning modeled and observed behavior: A compromise between complexity and quality, Proceedings of the 29th International Conference on Advanced Information Systems Engineering (CAiSE'17, vol.10253, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01664240

F. Taymouri and J. Carmona, Model and event log reductions to boost the computation of alignments, Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), pp.50-62, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01769756

J. Munoz-gama, J. Carmona, and W. M. Van-der-aalst, Single-entry single-exit decomposed conformance checking, Inf. Syst, vol.46, pp.102-122, 2014.

W. M. Van-der-aalst, Decomposing petri nets for process mining: A generic approach. Distributed and Parallel Databases, vol.31, pp.471-507, 2013.

V. Bloemen, J. Van-de-pol, and W. M. Van-der-aalst, Symbolically aligning observed and modelled behaviour, 18th International Conference on Application of Concurrency to System Design, pp.50-59, 2018.

V. Bloemen, S. J. Van-zelst, W. M. Van-der-aalst, B. F. Van-dongen, and J. Van-de-pol, Maximizing synchronization for aligning observed and modelled behaviour, Business Process Management -16th International Conference, pp.233-249, 2018.

D. Fahland and W. M. Van-der-aalst, Model repair -aligning process models to reality, Inf. Syst, vol.47, pp.220-243, 2015.

A. Rozinat and W. M. Van-der-aalst, Conformance checking of processes based on monitoring real behavior, Inf. Syst, vol.33, issue.1, pp.64-95, 2008.

J. Munoz-gama, Conformance Checking and Diagnosis in Process Mining -Comparing Observed and Modeled Processes, vol.270, 2016.

A. Adriansyah, J. Munoz-gama, J. Carmona, B. F. Van-dongen, and W. M. Van-der-aalst, Measuring precision of modeled behavior, Inf. Syst. E-Business Management, vol.13, issue.1, pp.37-67, 2015.

T. Chatain and J. Carmona, Anti-alignments in conformance checking -the dark side of process models, Application and Theory of Petri Nets and Concurrency -37th International Conference, PETRI NETS 2016, pp.240-258, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01267015

B. F. Van-dongen, J. Carmona, and T. Chatain, A unified approach for measuring precision and generalization based on anti-alignments, Business Process Management -14th International Conference, BPM 2016, pp.39-56, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01406850

M. Dumas, M. L. Rosa, J. Mendling, and H. A. Reijers, Fundamentals of Business Process Management, 2018.

S. K. Vanden-broucke, J. D. Weerdt, J. Vanthienen, and B. Baesens, Determining process model precision and generalization with weighted artificial negative events, IEEE Trans. Knowl. Data Eng, vol.26, issue.8, pp.1877-1889, 2014.

J. Mendling, G. Neumann, W. M. Van-der-aalst, . Coopis, . Doa et al., Understanding the occurrence of errors in process models based on metrics, On the Move to Meaningful Internet Systems, pp.113-130, 2007.