Für diesen Artikel ist leider kein Bild verfügbar.

Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien

Wolfgang Reisig (Autor)

Buch | Softcover

XVI, 248 Seiten

2025 | 2. Aufl. 2024
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-8348-1935-2 (ISBN)

Noch nicht erschienen - erscheint am 11.01.2025
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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.

Prof. Dr. Wolfgang Reisig, ehem. Humboldt-Universität zu Berlin

Grundlegende Konzepte und einfache Beispiele.- Tiefer liegende Zusammenhänge für Studierende .- Vorbildhafte Fallstudien und Analysen für Praktiker*innen.- Separierbare Themen und Aufgaben für Dozierende .- Weiterführende Argumente für andere Modellierungstechniken.

Erscheint lt. Verlag	11.1.2025
Zusatzinfo	XVI, 248 S. Mit Online-Extras.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	168 x 240 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Modellierung • Modellierungstechniken • Netze • Petri • Petrinetze • Systementwurf • Verifikation
ISBN-10	3-8348-1935-2 / 3834819352
ISBN-13	978-3-8348-1935-2 / 9783834819352
Zustand	Neuware