En particular, el sistema YAWL incluye una herramienta de análisis estático llamada WofYAWL.