Title: Modellierung und Ausführung von Workflows mit Petri-Netzen