Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien

Description

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt. Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit. Inhalt Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken Zielgruppe Studierende der Informatik an Universitäten und Fachhochschulen Der Autor Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin Front Matter....Pages I-XVI Einleitung....Pages 1-6 Front Matter....Pages 7-7 Ein Beispiel....Pages 9-20 Die grundlegenden Konzepte....Pages 21-34 Häufiger Spezialfall: Elementare Systemnetze....Pages 35-45 Sequentielle und verteilte Abläufe....Pages 47-64 Szenarienbasierte Systemnetze....Pages 65-71 Zusätzliche Ausdrucksmittel für elementare Systemnetze....Pages 73-80 Das Syntheseproblem....Pages 81-90 Komposition von Netzen....Pages 91-98 Front Matter....Pages 99-99 Zustandseigenschaften....Pages 101-116 Fallen und Co-Fallen elementarer Systemnetze....Pages 117-121 Platzinvarianten elementarer Systemnetze....Pages 123-130 Die Kombination von Fallen und Platzinvarianten elementarer Systemnetze....Pages 131-137 Fallen und Platzinvarianten allgemeiner Systemnetze....Pages 139-150 Markierungs- und Überdeckungsgraphen....Pages 151-160 Erreichbarkeit in elementaren Systemnetzen....Pages 161-166 Ablaufeigenschaften....Pages 167-177 Analyse der Free-Choice-Netze....Pages 179-184 Analyse der markierten Graphen....Pages 185-189 Wohlgeformte Systemnetze....Pages 191-194 Front Matter....Pages 195-195 Wechselseitiger Ausschluss....Pages 197-207 Asynchrone Hardware....Pages 209-216 Netzwerk-Algorithmen....Pages 217-230 Front Matter....Pages 231-231 Schlussbetrachtungen....Pages 233-238 Back Matter....Pages 231-246