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