Höhere Petrinetze als Grundlage für Systemspezifikationen - Moldt, Daniel (Hamburg, Univ., Diss., 1996, 1996)