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