Modellierung und Ausführung von Workflows mit Petri-Netzen | lit.salon