Petrinetze Buchkatalog

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.InhaltGrundlegende Konzepte und einfache Beispiele.- Tiefer liegende Zusammenhänge für Studierende .- Vorbildhafte Fallstudien und Analysen für Praktiker*innen.- Separierbare Themen und Aufgaben für Dozierende .- Weiterführende Argumente für andere Modellierungstechniken.ZielgruppeStudierende der Informatik an Universitäten und FachhochschulenDer AutorProf. Dr. Wolfgang Reisig lehrte und forschte an der Humboldt-Universität zu Berlin