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