ConformanceChecker This is solution for University of Tartu Business Process Management course. It is simple implementation and as it came out wrong implementation of Petri Net metrics.