Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
Wolfgang Reisig (auth.)
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.
Категории:
Година:
2010
Издание:
1
Издателство:
Vieweg+Teubner Verlag
Език:
german
Страници:
248
ISBN 10:
3834897086
ISBN 13:
9783834897084
Файл:
PDF, 29.10 MB
IPFS:
,
german, 2010
Изтеглянето на тази книга не е възможно поради жалба от притежателя на авторските права