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

DOI10.18255/1818-1015-2021-2-146-168OpenAlexW3167000208MaRDI QIDQ5870852

Khalil Mecheraoui, Julio C. Carrasquel

Publication date: 24 January 2023

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

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)

Uses Software

• SNAKES

Cites Work

• Unnamed Item
• Unnamed Item
• Balanced multi-perspective checking of process conformance
• Encyclopedia of Social Network Analysis and Mining
• SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
• Coloured Petri Nets
• Discovering Object-centric Petri Nets
• SMT-based verification of data-aware processes: a model-theoretic approach
• Nested Petri Nets for Adaptive Process Modeling

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