What Has Remained Unchanged in Your Business Process Model?

Checking conformance between a process model and an event log, which records information about a current process behavior, is a widely used technique for business process audit. It allows discovering changes in the behavior represented by the model. There are several methods to perform conformance checking: most of them are based on 'token replay' and trace alignments. There is also a recent technique which employs Partially Synchronized Product (PSP) of event structures discovered from a model and an event log. Unfortunately, the above mentioned methods do not allow to identify model fragments still matching the current process behavior or do this by applying complex algorithms. The purpose of this paper is to provide a technique for solving this problem. For this we check conformance between event relations mined from a process model and an event log.