Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery · Study