G.  Lanciano and de Leoni, M., ?Models and Logs used in the paper ?Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning? accepted for ICAPS 2018?. TU Eindhoven, 2018.