YAWL

Este lenguaje está soportado por un sistema de software que incluye un motor de ejecución y un editor gráfico.

Consecuentemente, varias organizaciones tales como Grupo InterContinental de Hoteles, first:telecom y ATOS Worldline se han unido a esta iniciativa y el sistema está ahora disponible como software Open source software bajo la licencia LGPL.

En suma a esto, YAWL añade algunos elementos sintácticos a las Redes de Petri de forma que sea posible capturar intuitivamente otros Patrones de Diseño tales como opción simple (xor-split), simple sincronización (xor-join), y multiple opción (or-split).

El hecho de que YAWL esté basado en semántica formal ha puesto en marcha la implementación de distintas técnicas parar analizar procesos YAWL.

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