Soundness of Timed-Arc Workflow Nets | Publicación