In: 06: Bericht 267, Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze, AWPN'06, FBI-HH-B-267, pages 9-17. September 06. In German.
Abstract: In dieser Arbeit entwickeln wir Grundlagen zur Netzsynthese aus Verhaltensbeschreibungen, welche früher als und nicht später als Beziehungen zwischen Ereignissen berücksichtigen (sog. geschichteten Ordnungsstrukturen (KK04)). Dieser Ansatz verallgemeinert die in (LJ06) für partielle Ordnungen, welche nur eine früher als Relation zwischen Ereignissen beschreiben, entwickelten Ideen: Es wird ein Regionenkonzept für geschichtete Ordnungsstrukturen vorgestellt und darauf basierend Vorschläge für eine effektive algorithmische Synthese von S/T-Netzen mit gewichteten Inhibitorkanten erarbeitet.