Mining process models with non-free-choice constructs
Business Process Intelligence