Memory-efficient alignment of observed and modeled behavior

Research output: Book/ReportReportAcademic

7 Downloads (Pure)


Experience shows that in systems where process executions are not strictly enforced by process models, often deviations occur. Alignments between logged process executions and models reveal useful insights and can be used for both conformance checking and performance analysis. In this article, we present a memory-e¿cient approach using marking equations of Petri nets to calculate optimal alignments between process executions and process models. A comparative study shows that in most cases the approach signi¿cantly reduces the memory required. This makes it possible to analyze larger logs and models using alignments. The more deviations exist, the better the approach performs compared to the approaches without using marking equations. The approach has been implemented, tested against both arti¿cial and real life logs, and is publicly available as part of the ProM 6 framework.
Original languageEnglish
PublisherBPMcenter. org
Number of pages44
Publication statusPublished - 2013

Publication series

NameBPM reports


Dive into the research topics of 'Memory-efficient alignment of observed and modeled behavior'. Together they form a unique fingerprint.

Cite this