Petrinetze

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.