Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. - Francisco Durán 001; Daniela Martínez; Camilo Rocha (WRLA@ETAPS, 2022)