Die Petri-Netz-Theorie dient der graphischen Modellierung von Systemzusammenh?ngen sowie der mathematischen Analyse von Systemdynamik.In der 4., verbesserten und erweiterten Auflage des Buches wurden neuere Entwicklungen der Petri-Netz-Technik und -Theorie sowie kritische Anmerkungen ber?cksichtigt. Es stellt eine umfangreiche und gut strukturierte Informationsquelle zum Thema dar und erleichtert zugleich den Einstieg in die meist sehr spezifische mathematische Literatur.Petri-Netze: Keine Instrumente zum Fische-Fangen.- A. Anwendungsorientierte Darstellung der Elemente und Zusammenh?nge der Petri-Netz-Theorie.- 1. Kurzcharakteristik der Petri-Netz-Theorie.- 2. Die Elemente der Petri-Netz-Theorie.- 2.1 Statische Elemente der Petri-Netz-Theorie.- 2.2 Dynamische Elemente der Petri-Netz-Theorie.- 3. Strukturen und Markierungssituationen in Petri-Netzen.- 4. Vergr?berungen und Verfeinerungen von Petri-Netzen.- 5. Dynamische Eigenschaften von Petri-Netzen.- 6. Modellierungsstrategie f?r den Entwurf von Petri-Netzen.- 7. Petri-Netztypen Formale Definition und systematische Hilfen.- 8. Auswertungsans?tze der Allgemeinen Netztheorie.- 8.1 Invariantensysteme.- 8.2 Synchronieabst?nde.- B. Fall-Beispiel 1: Die interaktive Improvisation von Flugpl?nen.- 1. Ein Improvisationsproblem der Deutschen Lufthansa AG.- 1.1 Zur Aufgabenerf?llung einer Luftverkehrsgesellschaft.- 1.2 Charakteristiken des Improvisationsproblems.- 1.3 Die Handhabung des Improvisationsproblems bei der Deutschen Lufthansa AG.- 2. Modellierung des Improvisationsproblems mit Hilfe der Petri-Netz-Theorie.- 2.1 Vermutungen zur Anwendbarkeit von Petri-Netzen bei der Handhabung des Improvisationsproblems.- 2.2 Modellierungsbeispiel.- 3. Auswertung und Anwendung des Improvisationsmodells.- 3.1 Der Algebraische Kalk?l von Netzen.- 3.2 Der Kalk?l eines Flugplanbeispiels.- 3.3 Netz-Invarianten.- 3.4 Sicherheit und Lebendigkeit des Petri-Netzes.- 4. Ans?tze zur Modellverbesserung.- 4.1 Die Erfassung von Regeln.- 4.l£*