Title: Höhere Petrinetze als Grundlage für Systemspezifikationen