Francisco Durán 0001, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo. From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. In Kyungmin Bae, editor, Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Volume 13252 of Lecture Notes in Computer Science, pages 3-21, Springer, 2022. [doi]
Abstract is missing.