Safety and Soundness for Priced Resource-Constrained Workflow Nets | Publicación