Gegenstand des Buches ist die algebraische Modellierung betrieblicher Prozesse, hier am Beispiel der Ablaufplanung. Nach einer Einführung in Ablaufplanung, Prozeßbegriffe und grafische Prozeßdarstellungen wird der aktuelle Stand der "Concurrency Theory" (Theorie nebenläufiger Prozesse) ausführlich dargestellt. Es werden alle gängigen Modelle, wie Petrinetze, Transitionssysteme, Ereignisstrukturen, Prozeßalgebren etc., an Beispielen erläutert und miteinander verglichen. Für die Prozeßtheorie wird dann ein prozeßalgebraischer Ansatz gewählt. Die Vorteile einer Algebra für Prozesse liegen zum einen in der eindeutigen und exakten Prozeßsemantik und zum anderen in ihrer modularen Struktur. So kann das Basismodell sehr leicht erweitert werden und an spezielle Anforderungen angepaßt werden.

Klappentext

Nil tam difficile est, quin quaerendo investigari possiet. TERENZ, Heautontimorumenos 675 Nicht von Beginn an enthüllten die Götter uns Sterblichen alles; Aber im Laufe der Zeit finden wir suchend das Bess're. Sichere Wahrheit erkannte kein Mensch und wird keiner erkennen Über die Götter und alle die Dinge, von denen ich spreche. Sollte einer auch einst die vollkommenste Wahrheit verkünden, WüBte er selbst es doch nicht: es ist alles durchwebt von Vermutung. XENOPHANES Das vorliegende Buch ist die überarbeitete Fassung meiner Dissertationsschrift, die vom Fachbereich Wirtschaftswissenschaften der Johann Wolfgang Goethe-Universität Frankfurt am Main angenommen wurde. Sie entstand in den Jahren 1995 und 1996 am Institut für Wirtschaftsinformatik ebendort im Rahmen des Projekts "Flexible Organi zation of Distributed Agents (FLODAG)". Dieses Projekt gehörte zum Schwerpunkt programm "Verteilte DV-Systeme in der Betriebswirtschaft" und wurde im genannten 1 Zeitraum von der Deutschen Forschungsgemeinschaft (DFG) gefördert Projektleiter war Prof. Dr. Wolfgang König. " ... the universe is fundamentally intelligible" 2 sagt Cobb Jr. in Interpretation des Lebenswerkes von Alfred North Whitehead (we1chem im folgenden noch eine nicht unbedeutende Rolle zufällt). Dem Terenz-Zitat kann man entnehmen, daB dieser Leitgedanke bereits sehr alt ist, und er stand auch Pate bei meiner Arbeit, denn was für das Universum gilt, muG auch für jede seiner Teilmengen geIten: "Ablaufplanung is fundamentally intelligible".

Inhalt
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.