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