Process Mining -Discovery, Conformance and Enhancement of Business Processes, 2011. ,
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
Aligning observed and modeled behavior, 2014. ,
Conformance Checking and Diagnosis in Process Mining, 2014. ,
DOI : 10.1007/978-3-319-49451-7
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
Estimating completeness of event logs, 2012. ,
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
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-574, 1989. ,
DOI : 10.1109/5.24143
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
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
Reachability in some classes of acyclic Petri nets, Fundam. Inform, vol.23, issue.1, pp.91-100, 1995. ,
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
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
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. ,
Theory of quantified boolean formulas, Frontiers in Artificial Intelligence and Applications, vol.185, pp.735-760, 2009. ,
Single-Entry Single-Exit decomposed conformance checking, Information Systems, vol.46, pp.46-102, 2014. ,
DOI : 10.1016/j.is.2014.04.003
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