ISBN-13: 9783834812902 / Niemiecki / Twarda / 2010 / 248 str.
Petrinetze haben sich als Modellierungstechnik fur informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermassen beliebt.
Die Inhalte werden ausserst anschaulich dargestellt; nur zum prazisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; fur Varianten, Zusatze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Losungen der Ubungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit."