WoPeD

WoPeD (Workflow Petri Net Designer) is an easy-to-use software tool for modeling, simulating, and analyzing workflow process and resource descriptions using workflow nets, an extended class of Petri nets initially introduced by Wil van der Aalst (TU Eindhoven). WoPeD is mainly intended to be used by researchers, teaching staff, or students dealing with the application of Petri nets to the area of workflow or business process management.