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...