Software-Engineering von Workflow-Applikationen mit Petrinetzen - Martens, Axel (1997)