Höhere Petrinetze als Grundlage für Systemspezifikationen | lit.salon