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

T. Baier, J. Mendling, and M. Weske, Bridging abstraction layers in process mining, Information Systems, vol.46, 2014.
DOI : 10.1016/j.is.2014.04.004

J. Li, R. Bose, and W. M. Van-der-aalst, Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns, BPM'2010 Workshops, pp.109-121, 2011.
DOI : 10.1016/j.datak.2008.06.010
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.7954

H. R. Nezhad, R. Saint-paul, F. Casati, and B. Benatallah, Event correlation for process discovery from web service interaction logs, The VLDB Journal, vol.47, issue.2, pp.417-444, 2011.
DOI : 10.1007/s00778-010-0203-9

R. Pérez-castillo, B. Weber, I. G. De-guzmán, M. Piattini, and J. Pinggera, Assessing event correlation in non-process-aware information systems, Software and Systems Modeling, pp.1-23, 2012.
DOI : 10.1007/s10270-012-0285-5

S. Rozsnyai, A. Slominski, and G. T. Lakshmanan, Discovering event correlation rules for semi-structured business processes, Proceedings of the 5th ACM international conference on Distributed event-based system, DEBS '11, pp.75-86, 2011.
DOI : 10.1145/2002259.2002272

A. Rogge-solti and M. Weske, Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays, LNCS, vol.8274, pp.389-403, 2013.
DOI : 10.1007/978-3-642-45005-1_27

E. Freuder and A. Mackworth, Constraint Satisfaction, Foundations of Artificial Intelligence, vol.2, pp.13-27, 2006.
DOI : 10.1007/0-306-48056-5_14
URL : https://hal.archives-ouvertes.fr/lirmm-00268449

W. M. Van-der-aalst, Verification of workflow nets, In: ICATPN. LNCS, vol.1248, pp.407-426, 1997.

N. Lohmann, E. Verbeek, and R. M. Dijkman, Petri net transformations for business processes -a survey. T. Petri Nets and Other Models of Concurrency, pp.46-63, 2009.

D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Völzer et al., Analysis on demand: Instantaneous soundness checking of industrial business process models, Data & Knowledge Engineering, vol.70, issue.5, pp.448-466, 2011.
DOI : 10.1016/j.datak.2011.01.004

C. W. Günther and W. M. Van-der-aalst, Mining activity clusters from low-level event logs, BETA Working Paper Series, vol.165, 2006.

C. W. Günther, A. Rozinat, and W. M. Van-der-aalst, Activity Mining by Global Trace Segmentation, In: BPM Workshops, vol.43, pp.128-139, 2009.
DOI : 10.1007/978-3-642-12186-9_13

D. J. Cook, N. C. Krishnan, and P. Rashidi, Activity Discovery and Activity Recognition: A New Partnership, IEEE Transactions on Cybernetics, vol.43, issue.3, pp.820-828, 2013.
DOI : 10.1109/TSMCB.2012.2216873

C. W. Günther and W. M. Van-der-aalst, Fuzzy Mining ??? Adaptive Process Simplification Based on Multi-perspective Metrics, In: BPM. LNCS, vol.4714, pp.328-343, 2007.
DOI : 10.1007/978-3-540-75183-0_24

R. M. Dijkman, M. Dumas, B. F. Van-dongen, R. Käärik, and J. Mendling, Similarity of business process models: Metrics and evaluation, Information Systems, vol.36, issue.2, pp.498-516, 2011.
DOI : 10.1016/j.is.2010.09.006

M. Weidlich, R. M. Dijkman, and J. Mendling, The ICoP Framework: Identification of Correspondences between Process Models, LNCS, vol.6051, pp.483-498, 2010.
DOI : 10.1007/978-3-642-13094-6_37

H. Leopold, M. Niepert, M. Weidlich, J. Mendling, R. Dijkman et al., Probabilistic Optimization of Semantic Process Model Matching, In: BPM. LNCS, vol.7481, pp.319-334, 2012.
DOI : 10.1007/978-3-642-32885-5_25

C. Klinkmüller, I. Weber, J. Mendling, H. Leopold, and A. Ludwig, Increasing Recall of Process Model Matching by Improved Activity Label Matching, In: BPM. LNCS, vol.8094, pp.211-218, 2013.
DOI : 10.1007/978-3-642-40176-3_17

M. Weidlich, R. Dijkman, and M. Weske, Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences, The Computer Journal, vol.55, issue.11, pp.1398-1418, 2012.
DOI : 10.1093/comjnl/bxs014