Como resultado, la semántica formal original de YAWL está definida como un Sistema de transiciones etiquetado y no en términos de Petri nets.