Weighing the Pros and Cons: Process Discovery with Negative Examples · Study