Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Januar 2025
Genre:	EDV / Informatik
	computer science / Informatik / Modellierung / modellierungstechniken / Netze / Petri / Petrinetze / Software Engineering / Systementwurf / Verifikation
ISBN:	9783834819352
EAN-Code:	9783834819352
Verlag:	Springer Fachmedien Wiesbaden GmbH
Einband:	Kartoniert
Sprache:	Deutsch
Dimensionen:	H 240 mm / B 168 mm / D
Seiten:	248
Illustration:	XVI, 248 S. Mit Online-Extras.
Bewertung:	Titel bewerten / Meinung schreiben

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.