Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations

DOI10.18255/1818-1015-2021-2-146-168MaRDI QIDQ5870852zbMATH OpenOpenAlexFDO

Authors Julio C. Carrasquel, Khalil Mecheraoui

Publication date 24 January 2023

Published in Modeling and Analysis of Information Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL http://mathnet.ru/eng/mais741

zbMATH Keywords

Petri netsprocess miningcolored Petri netsconformance checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Matching models (91B68)

Cites work

• scientific article; zbMATH DE number 1515290 (Why is no real title available?)
• Balanced multi-perspective checking of process conformance
• Checking properties of adaptive workflow nets
• Coloured Petri Nets
• Discovering object-centric Petri nets
• Encyclopedia of social network analysis and mining. With 583 figures and 163 tables. In 3 volumes
• Nested Petri Nets for Adaptive Process Modeling
• SMT-based verification of data-aware processes: a model-theoretic approach
• SNAKES: a flexible high-level Petri nets library (tool paper)

Describes a project that uses

Uses Software

• SNAKES

This page was built for publication: Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations

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