Workflow based on the Petrinet