ILP-based process discovery using hybrid regions · Study