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

G. Greco, A. Guzzo, L. Pontieri, and D. Saccà, Discovering expressive process models by clustering log traces, IEEE Transactions on Knowledge and Data Engineering, vol.18, issue.8, pp.1010-1027, 2006.
DOI : 10.1109/TKDE.2006.123

D. R. Ferreira, M. Zacarias, M. Malheiros, and P. Ferreira, Approaching Process Mining with Sequence Clustering: Experiments and Findings, Business Process Management, 5th International Conference, pp.360-374, 2007.
DOI : 10.1007/978-3-540-75183-0_26
URL : http://web.ist.utl.pt/diogo.ferreira/papers/ferreira07approaching.pdf

M. Song, C. W. Günther, and W. M. Van-der-aalst, Trace Clustering in Process Mining, Business Process Management Workshops, BPM 2008 International Workshops, pp.109-120, 2008.
DOI : 10.1016/j.is.2007.07.001

R. P. Bose and W. M. Van-der-aalst, Context Aware Trace Clustering: Towards Improving Process Mining Results, Proceedings of the SIAM International Conference on Data Mining, SDM 2009, pp.401-412, 2009.
DOI : 10.1137/1.9781611972795.35

R. P. Bose and W. M. Van-der-aalst, Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models, Business Process Management Workshops, BPM 2009 International Workshops, pp.170-181, 2009.
DOI : 10.1007/978-3-642-12186-9_16

J. D. Weerdt, S. K. Vanden-broucke, J. Vanthienen, and B. Baesens, Active Trace Clustering for Improved Process Discovery, IEEE Transactions on Knowledge and Data Engineering, vol.25, issue.12, pp.2708-2720, 2013.
DOI : 10.1109/TKDE.2013.64

B. Hompes, J. Buijs, W. Van-der-aalst, P. Dixit, and H. Buurman, Discovering deviating cases and process variants using trace clustering, Proceedings of the 27th Benelux Conference on Artificial Intelligence, 2015.

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

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

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, Translating pseudo-boolean constraints into SAT, JSAT, vol.2, issue.1-4, pp.1-26, 2006.

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, pp.50-62, 2016.

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 Proceedings. Volume 9698 of Lecture Notes in Computer Science, pp.240-258, 2016.
DOI : 10.1109/TKDE.2013.130
URL : https://hal.archives-ouvertes.fr/hal-01408043

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