Mining process models with non-free-choice constructs · Study