|
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
Inhalt: |
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 gleichermassen beliebt.
Die Inhalte werden äusserst 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.
Inhalt
Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken
Zielgruppe
Studierende der Informatik an Universitäten und Fachhochschulen
Der Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin |
|