Mining process models with non-free-choice constructs
Case handling: a new paradigm for business process support