Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
Wolfgang Reisig
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.
Categories:
Year:
2010
Edition:
2010
Publisher:
Vieweg+Teubner Verlag
Language:
german
Pages:
264
ISBN 10:
3834812900
File:
PDF, 81.15 MB
IPFS:
,
german, 2010
This book isn't available for download due to the complaint of the copyright holder