Multi-perspective conformance checking of uncertain process traces: An SMT-based approach

Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler

Abstract: Highlights•We study a framework for multi-perspective conformance checking of uncertain traces.•The framework deals with data-aware process models formalized as Data Petri nets.•Uncertainty can be about events, activities, timestamps, and other data attributes.•The problem is encoded into an automated reasoning task solved via SAT/SMT solvers.•We provide an implementation and experimental evaluation, witnessing feasibility.