Conformance checking

J Carmona, B van Dongen, A Solti… - … : Springer.[Google Scholar], 2018 - Springer
A model is an artefact to represent a specific concept. It maps properties of the concept into
some abstract representation, driven by the purpose of the model. As such, models …

Conformance checking: foundations, milestones and challenges

J Carmona, B van Dongen, M Weidlich - Process mining handbook, 2022 - Springer
By relating observed and modelled behaviour, conformance checking unleashes the full
power of process mining. Techniques from this discipline enable the analysis of the quality …

Discovering block-structured process models from incomplete event logs

SJJ Leemans, D Fahland… - Application and Theory of …, 2014 - Springer
One of the main challenges in process mining is to discover a process model describing
observed behaviour in the best possible manner. Since event logs only contain example …

Scalable process discovery and conformance checking

SJJ Leemans, D Fahland… - Software & Systems …, 2018 - Springer
Considerable amounts of data, including process events, are collected and stored by
organisations nowadays. Discovering a process model from such event data and verification …

Robust Process Mining with Guarantees.

SJJ Leemans - BPM (Dissertation/Demos/Industry), 2018 - Springer
Due to the omnipresence of digitally supported processes and storage facilities nowadays,
plenty of organisational data is available in the typical organisation. Process mining aims to …

A new method for measuring the behavioral consistency degree of WF-net systems

F Zhao, D Xiang, G Liu, C Jiang - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
How to guarantee the consistency between different systems has become a bone of
contention in model-driven software development. Behavioral relations are a prominent …

Eye-tracking the factors of process model comprehension tasks

R Petrusel, J Mendling - … Conference, CAiSE 2013, Valencia, Spain, June …, 2013 - Springer
Understanding business process models has been previously related to various factors.
Those factors were determined using statistical approaches either on model repositories or …

Data and process resonance: identifier soundness for models of information systems

JMEM van der Werf, A Rivkin, A Polyvyanyy… - … on Applications and …, 2022 - Springer
A model of an information system describes its processes and how these processes
manipulate data objects. Object-aware extensions of Petri nets focus on modeling the life …

Task-specific visual cues for improving process model understanding

R Petrusel, J Mendling, HA Reijers - Information and Software Technology, 2016 - Elsevier
Context Business process models support various stakeholders in managing business
processes and designing process-aware information systems. In order to make effective use …

[HTML][HTML] Automated discovery of declarative process models with correlated data conditions

V Leno, M Dumas, FM Maggi, M La Rosa… - Information Systems, 2020 - Elsevier
Automated process discovery techniques enable users to generate business process
models from event logs extracted from enterprise information systems. Traditional …