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