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

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

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.1002/widm.1045

F. Taymouri and J. Carmona, A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models, Business Process Management -14th International Conference , BPM 2016, pp.197-214, 2016.
DOI : 10.1109/TKDE.2013.64

W. M. Van-der-aalst, Decomposing Petri nets for process mining: A generic approach, Distributed and Parallel Databases, pp.471-507, 2013.
DOI : 10.1016/j.datak.2009.02.015

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

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

M. Silva, E. Teruel, and J. M. Colom, Linear algebraic and linear programming techniques for the analysis of place/transition net systems Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, pp.309-373, 1998.

M. Berkelaar, K. Eikland, and P. Notebaert, lpsolve : Open source (Mixed-Integer) Linear Programming system

J. Munoz-gama, J. Carmona, and W. M. Van-der-aalst, Conformance Checking in the Large: Partitioning and Topology, Business Process Management -11th International Conference, BPM 2013, pp.130-145, 2013.
DOI : 10.1007/978-3-642-40176-3_11
URL : http://wwwis.win.tue.nl/~wvdaalst/publications/p725.pdf