Balanced multi-perspective checking of process conformance

DOI10.1007/S00607-015-0441-1MaRDI QIDQ272169zbMATH OpenOpenAlexWikidataFDO

Authors Felix Mannhardt, Massimiliano de Leoni, Hajo A. Reijers, W. M. P. van der Aalst

Publication date 20 April 2016

Published in Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00607-015-0441-1

zbMATH Keywords

data Petri netslog-process alignmentmulti-perspective conformance checkingprocess mining

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Conformance checking and diagnosis in process mining. Comparing observed and modeled processes
• Anti-alignments in conformance checking -- the dark side of process models
• Hierarchical conformance checking of process models based on event logs
• Process discovery and conformance checking using passages
• Optimized SAT encoding of conformance checking artefacts

Cites work

• Balanced multi-perspective checking of process conformance
• Causal behavioural profiles -- efficient computation, applications, and evaluation
• Free Choice Petri Nets
• Generalized best-first search strategies and the optimality of A*
• Process mining. Discovery, conformance and enhancement of business processes.
• Specification and verification of agent interaction using social integrity constraints
• Specification and verification of declarative open interaction models. A logic-based approach

Cited in

(12)

• Conformance checking and diagnosis in process mining. Comparing observed and modeled processes
• CTL* model checking for data-aware dynamic systems with arithmetic
• Aligning event logs to resource-constrained \(\nu \)-Petri nets
• Balanced multi-perspective checking of process conformance
• Anti-alignments in conformance checking -- the dark side of process models
• Hierarchical conformance checking of process models based on event logs
• Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
• Computing alignments with maximum synchronous moves via replay in coordinate planes
• Verification of data-aware process models: checking soundness of Data Petri nets
• Modelling data-aware stochastic processes -- discovery and conformance checking
• Exact and approximated log alignments for processes with inter-case dependencies
• Confluence for process verification

This page was built for publication: Balanced multi-perspective checking of process conformance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q272169)