Höhere Petrinetze als Grundlage für Systemspezifikationen - Moldt, Daniel (1996)
Keywords: Strukturierte Analyse; Objektorientierte Analyse; Petri-Netz; Statechart; Softwarespezifikation; Hochschulschrift