Dissertation (Informatik). Berlin: Technische Universität, 1989.
Abstract: In dieser Arbeit werden verschiedene Typen von Petrinetzen behandelt, insbesondere High-Level-Netze (HL-Netze), das sind Petrinetze mit individuellen Token, und algebraische High-Level-Netze, die aus einer Kombination von HL-Netzen und algebraischen Datenspezifikationen bestehen. Basierend auf Konstruktionen in covollständigen Kategorien werden verschiedene Strukturierungskonzepte für beide Netztypen entwickelt. Als horizontales Strukturierungskonzept für Netze werden Zerlegungen über Colimites von Diagrammen definiert, wobei die Objekte eines Diagramms die Netzkomponenten, der Colimes das zerlegte Netz darstellen.
Keywords: high-level net; algebraic data specification; category, (co-complete).