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.
|Title of host publication||Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011)|
|Place of Publication||Los Alamitos|
|Publisher||IEEE Computer Society|
|Publication status||Published - 2011|