Conformance checking
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 …
some abstract representation, driven by the purpose of the model. As such, models …
Conformance checking: foundations, milestones and challenges
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 …
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 …
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 …
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 …
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 **ang, 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 …
contention in model-driven software development. Behavioral relations are a prominent …
Data and process resonance: identifier soundness for models of information systems
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 …
manipulate data objects. Object-aware extensions of Petri nets focus on modeling the life …
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 …
Those factors were determined using statistical approaches either on model repositories or …
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 …
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
Automated process discovery techniques enable users to generate business process
models from event logs extracted from enterprise information systems. Traditional …
models from event logs extracted from enterprise information systems. Traditional …