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
