Observando que las Redes de Petri se acercaba bastante a dar soporte a la mayoría de los Patrones de Workflow, los desarrolladores de YAWL decidieron tomar Redes de Petri como un punto de partida y extender esta formalización con tres constructores principales, nombrado or-join, grupos de cancelación, y actividades multi-instancia.