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

A. Rozinat and W. M. Van-der-aalst, Conformance checking of processes based on monitoring real behavior, Information Systems, vol.33, issue.1, pp.64-95, 2008.
DOI : 10.1016/j.is.2007.07.001

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

J. Munoz-gama, Conformance Checking and Diagnosis in Process Mining, 2014.
DOI : 10.1007/978-3-319-49451-7

A. Adriansyah, J. Munoz-gama, J. Carmona, B. F. Van-dongen, and W. M. Van-der-aalst, Measuring precision of modeled behavior, Information Systems and e-Business Management, vol.2, issue.2, pp.37-67, 2015.
DOI : 10.1007/s10257-014-0234-7

H. Yang, B. F. Van-dongen, A. H. Her-hofstede, M. T. Wynn, and J. Wang, Estimating completeness of event logs, 2012.

S. K. Vanden-broucke, J. Munoz-gama, J. Carmona, B. Baesens, and J. Vanthienen, Event-Based Real-Time Decomposed Conformance Analysis, On the Move to Meaningful Internet Systems: OTM 2014 Conferences -Confederated International Conferences: CoopIS, and ODBASE 2014, pp.345-363, 2014.
DOI : 10.1007/978-3-662-45563-0_20

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-574, 1989.
DOI : 10.1109/5.24143

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, International Journal of Cooperative Information Systems, vol.23, issue.01, 2014.
DOI : 10.1142/S0218843014400012

W. M. Van-der-aalst, A. Kalenkova, V. Rubin, and E. Verbeek, Process Discovery Using Localized Events, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, pp.287-308, 2015.
DOI : 10.1007/978-3-319-19488-2_15

I. A. Stewart, Reachability in some classes of acyclic Petri nets, Fundam. Inform, vol.23, issue.1, pp.91-100, 1995.

A. Cheng, J. Esparza, and J. Palsberg, Complexity results for 1-safe nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995.
DOI : 10.1016/0304-3975(94)00231-7

N. Eén and N. Sörensson, An Extensible SAT-solver, Theory and Applications of Satisfiability Testing, 6th International Conference , SAT 2003, pp.502-518, 2003.
DOI : 10.1007/978-3-540-24605-3_37

G. S. Tseytin, On the complexity of derivation in propositional calculus, Studies in Constructive Mathematics and Mathematical Logic, Part II. Seminars in Mathematics. Steklov Mathematical Institute Translated from Russian: Zapiski Nauchnykh Seminarov LOMI, vol.8, pp.115-125, 1968.

K. Büning, H. Bubeck, and U. , Theory of quantified boolean formulas, Frontiers in Artificial Intelligence and Applications, vol.185, pp.735-760, 2009.

J. Munoz-gama, J. Carmona, and W. M. Van-der-aalst, Single-Entry Single-Exit decomposed conformance checking, Information Systems, vol.46, pp.46-102, 2014.
DOI : 10.1016/j.is.2014.04.003

S. K. Vanden-broucke, J. D. Weerdt, J. Vanthienen, and B. Baesens, Determining Process Model Precision and Generalization with Weighted Artificial Negative Events, IEEE Transactions on Knowledge and Data Engineering, vol.26, issue.8, pp.1877-1889, 2014.
DOI : 10.1109/TKDE.2013.130