A comprehensive benchmarking framework (CoBeFra) for conformance analysis between procedural process models and event logs in ProM.