Scalable Process Discovery with Guarantees · Study