Petrinetze

Petrinetze haben sich als Modellierungstechnik fr informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaen beliebt. Die Inhalte werden uerst anschaulich dargestellt; nur zum przisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; fr Varianten, Zustze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lsungen der bungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.