Process mining in the large:preprocessing, discovery, and diagnostics · Study