Prozeßtheorie der Ablaufplanung

1 Einführung.- 1.1 Gegenstand des Buches.- 1.2 Ziel des Buches.- 1.3 Vorgehensweise.- 2 Taxonomie.- 2.1 Der Prozeß.- 2.2 Das Ereignis als Instanz einer Aktion.- 2.3 Die Ablaufplanung aus formaler Sicht.- 3 Graphen der Ablaufplanung.- 3.1 Netzpläne.- 3.2 Disjunktive Kanten.- 3.3 Hierarchische Netzpläne.- 4 Modelle nebenläufiger Systeme.- 4.1 Allgemeine Strukturen.- 4.2 Modelle auf der Basis relationaler Strukturen (Netze).- 4.3 Modelle auf der Basis operationaler Strukturen (Algebren).- 5 Vergleich der Prozeßmodelle.- 5.1 Äquivalenz von Petrinetzen und Prozeßalgebra.- 5.2 Klassifikation der Prozeßmodelle.- 6 Geplante Prozesse.- 6.1 Vorgänge versus Aktionen.- 6.2 Prozesse in der Zukunft.- 7 Ressourcen.- 7.1 Ressourcen in Echtzeit-Betriebssystemen.- 7.2 Ressourcen in der Ablaufplanung.- 8 Zeit.- 8.1 Kontinuierliche Zeit.- 8.2 Diskrete, absolute Zeit.- 8.3 Diskrete, relative Zeit.- 8.4 Das Zeitmodul der Prozeßtheorie.- 9 Effiziente Optimierung auf der Basis der Prozeßtheorie.- 9.1 Die Basisheuristik A*.- 9.2 Heuristische Optimierung in der Prozeßtheorie.- 10 Zusammenfassung und Ausblick.- 10.1 Zusammenfassung.- 10.2 Ausblick.- Abkürzungs- und Symbolverzeichnis.