Balanced multi-perspective checking of process conformance

DOI10.1007/S00607-015-0441-1zbMath1352.68186OpenAlexW2094385143WikidataQ57004677 ScholiaQ57004677MaRDI QIDQ272169

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

Publication date: 20 April 2016

Published in: Computing (Search for Journal in Brave)

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)

Related Items (6)

Balanced multi-perspective checking of process conformance ⋮ Aligning event logs to resource-constrained \(\nu \)-Petri nets ⋮ Computing alignments with maximum synchronous moves via replay in coordinate planes ⋮ Verification of data-aware process models: checking soundness of Data Petri nets ⋮ CTL* model checking for data-aware dynamic systems with arithmetic ⋮ Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations

Cites Work

• Unnamed Item
• Unnamed Item
• Balanced multi-perspective checking of process conformance
• Specification and verification of declarative open interaction models. A logic-based approach
• Process Mining
• Generalized best-first search strategies and the optimality of A*
• Free Choice Petri Nets

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