Dynamic Soundness in Resource-Constrained Workflow Nets | Publicación