Oberweis, A. (1996), Modellierung und Ausführung von Workflows mit Petri-Netzen , Teubner , Stuttgart .