Automatic Conformance Checking

This page describes the conformance checking techniques implemented in the project and how they can be interpreted.

General Insights

The

Log Skeleton

Resource-based

Temporal

Declarative