, Process Mining -Data Science in Action, 2016.
, Conformance Checking -Relating Processes and Models, 2018.
Reasoning under uncertainty, Annual Review of Computer Science, vol.4, issue.1, pp.37-72, 1990. ,
Petri Net Synthesis, Texts in Theoretical Computer Science. An EATCS Series, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01237142
Gartner Market Guide for Process Mining, 2018. ,
Process Mining: Your Compass For Digital Transformation: The Customer Journey Is The Destination, 2019. ,
, TFPM: Process Mining Case Studies, 2017.
, Celonis: Process Mining Success Story: Innovation is an Alliance with the Future, 2017.
, Scalable process discovery and conformance checking. Software and Systems Modeling, pp.1-33, 2016.
Discovering Block-structured Process Models from Event Logs: A Constructive Approach, Applications and Theory of Petri Nets, vol.7927, pp.311-329, 2013. ,
Discovering the "Glue" Connecting Activities -Exploiting Monotonicity to Learn Places Faster, It's, pp.1-20, 2018. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-574, 1989. ,
Relating Process Models and Event Logs: 21 Conformance Propositions, Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data, vol.2115, pp.56-74, 2018. ,
Quality dimensions in process discovery: The importance of fitness, precision, generalization and simplicity, Int. J. Cooperative Inf. Syst, vol.23, issue.1, 2014. ,
Soundness of workflow nets: classification, decidability, and analysis, Formal Asp. Comput, vol.23, issue.3, pp.333-363, 2011. ,
Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2013, vol.171, pp.66-78, 2014. ,
Robust Process Mining With Guarantees, 2017. ,
Partial (Set) 2-Structures. Part I, II, Acta Informatica, vol.27, pp.315-368, 1990. ,
New region-based algorithms for deriving bounded Petri nets, IEEE Transactions on Computers, vol.59, issue.3, pp.371-384, 2009. ,
, Process mining: a two-step approach to balance between underfitting and overfitting. Software and Systems Modeling, 2009.
The synthesis problem of Petri nets, Acta Inf, vol.33, issue.4, pp.297-315, 1996. ,
Projection approaches to process mining using region-based techniques, Data Min. Knowl. Discov, vol.24, issue.1, pp.218-246, 2012. ,
Light region-based techniques for process discovery. Fundam, Inform, vol.113, issue.3-4, pp.343-376, 2011. ,
Incremental process discovery, Trans. Petri Nets and Other Models of Concurrency, vol.5, pp.221-242, 2012. ,
Region-based foldings in process discovery, IEEE Trans. Knowl. Data Eng, vol.25, issue.1, pp.192-205, 2013. ,
Deriving Unbounded Petri Nets from Formal Languages, CON-CUR, pp.533-548, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073324
Polynomial Algorithms for the Synthesis of Bounded Nets, pp.364-378, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00074358
How to Synthesize Nets from Languages -a Survey, Proceedings of the Wintersimulation Conference (WSC) 2007, 2007. ,
Synthesis of petri nets from infinite partial languages, pp.170-179, 2008. ,
Towards synthesis of petri nets from general partial languages, pp.55-62, 2008. ,
Synthesis of petri nets from term based representations of infinite partial languages, Fundam. Inform, vol.95, issue.1, pp.187-217, 2009. ,
Variants of the language based synthesis problem for petri nets, pp.89-98, 2009. ,
Discovering petri nets from event logs, Trans. Petri Nets and Other Models of Concurrency, vol.7, pp.372-422, 2013. ,
Process mining based on regions of languages, BPM 2007, vol.4714, pp.375-383, 2007. ,
Process discovery using integer linear programming, Fundam. Inform, vol.94, issue.3-4, pp.387-412, 2009. ,
Discovering workflow nets using integer linear programming, Computing, vol.100, issue.5, pp.529-556, 2018. ,
Ilp-based process discovery using hybrid regions, Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, vol.1371, pp.47-61, 2015. ,
Aligning observed and modeled behavior, 2014. ,
Aligning real process executions and prescriptive process models through automated planning, Expert Syst. Appl, vol.82, pp.162-183, 2017. ,
Scalable conformance checking of business processes, pp.607-627, 2017. ,
, Scalable process discovery and conformance checking. Software and System Modeling, vol.17, pp.599-631, 2018.
A recursive paradigm for aligning observed behavior of large structured process models, 14th International Conference of Business Process Management (BPM), 2016. ,
Aligning modeled and observed behavior: A compromise between complexity and quality, Proceedings of the 29th International Conference on Advanced Information Systems Engineering (CAiSE'17, vol.10253, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01664240
Model and event log reductions to boost the computation of alignments, Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), pp.50-62, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01769756
Single-entry single-exit decomposed conformance checking, Inf. Syst, vol.46, pp.102-122, 2014. ,
Decomposing petri nets for process mining: A generic approach. Distributed and Parallel Databases, vol.31, pp.471-507, 2013. ,
Symbolically aligning observed and modelled behaviour, 18th International Conference on Application of Concurrency to System Design, pp.50-59, 2018. ,
Maximizing synchronization for aligning observed and modelled behaviour, Business Process Management -16th International Conference, pp.233-249, 2018. ,
Model repair -aligning process models to reality, Inf. Syst, vol.47, pp.220-243, 2015. ,
Conformance checking of processes based on monitoring real behavior, Inf. Syst, vol.33, issue.1, pp.64-95, 2008. ,
, Conformance Checking and Diagnosis in Process Mining -Comparing Observed and Modeled Processes, vol.270, 2016.
Measuring precision of modeled behavior, Inf. Syst. E-Business Management, vol.13, issue.1, pp.37-67, 2015. ,
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, pp.240-258, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01267015
A unified approach for measuring precision and generalization based on anti-alignments, Business Process Management -14th International Conference, BPM 2016, pp.39-56, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01406850
, Fundamentals of Business Process Management, 2018.
Determining process model precision and generalization with weighted artificial negative events, IEEE Trans. Knowl. Data Eng, vol.26, issue.8, pp.1877-1889, 2014. ,
Understanding the occurrence of errors in process models based on metrics, On the Move to Meaningful Internet Systems, pp.113-130, 2007. ,