• Ihr Warenkorb ist leer.
Zur Kasse

4 Ergebnisse.

Petrinetze

Petrinetze

Reisig, Wolfgang
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 ...

Petrinetze

Petrinetze

Reisig, Wolfgang
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 ...

52,90 CHF

Systementwurf mit Netzen

Systementwurf mit Netzen

Reisig, Wolfgang
Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun­ ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint? Beginnen wir mit den Systemen: sie sind in diesem Buch sehr aIlgemein aufgefaBt als "organisatorische Systeme", in denen geregelte Flusse von Gegenstanden und Informationen bedeutsam sind. Unter den Netzen wie­ derum wollen wir bier solche verstehen, ...

54,50 CHF

Petrinetze

Petrinetze

Reisig, Wolfgang
1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei ...

73,00 CHF

Ergebnisse anzeigen für