Data-aware conformance checking with SMT

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

Abstract: Highlights•First SMT-based approach to data-aware conformance checking via alignments.•Full SMT encoding of alignment-based conformance checking for Data Petri nets.•Cost-function based log clustering to speed up performance of conformance checking.•Encoding extended to anti- and multi-alignments.•Experimental evaluation over three benchmarks from the literature.