Workflow nets are a formalis for describing control flow aspects of process orchestrations.
Give the definition of a workflow net.