Conformance Checking Using Cost-Based Fitness Analysis
Generalized best-first search strategies and the optimality of A*