Experience in business process analysis shows that operational processes often do not conform to process models. Although classical conformance checking techniques can identify deviations of process executions from predefined models, they may produce inaccurate results due to strong assumptions. In this paper, we present a robust conformance checking technique based on Petri net techniques allowing us to lift assumptions and to take into account the cost of deviating from given models