WoPeD (Workflow Petri Net Designer) o Diseñador de Flujo de Control de Redes de Petri (en español) es un programa de código abierto desarrollado bajo la licencia LGPL, cuya principal idea es proveer una herramienta de modelado sencilla de usar para simular y analizar el flujo de control de procesos y descripción de recursos utilizando redes de control de flujo, una extensión de las Redes de Petri introducida por Wil van der Aalst (TU Eindhoven).