Oberweis, Andreas Modellierung und Ausf\"uhrung von Workflows mit Petri-Netzen, Stuttgart 1996.