Marek Leszak & Horst Eggert - Petri-Netz-Methoden und -Werkzeuge

Marek Leszak & Horst Eggert - Petri-Netz-Methoden und -Werkzeuge

56,53 €

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw. einen graphischen Editor zur...

Direkt bei Thalia AT bestellen

Produktbeschreibung

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER ( PR edicate/Transition Net O riented VER ification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit höheren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu ermöglichen.
Marke Springer Berlin
EAN 9783540506423
ISBN 978-3-540-50642-3
...

9,20 €

Samuel Hahnemann - Organon der Heilkunst
...

36,00 €

Michael Zeuske - Von Bolívar zu...
...

29,00 €

Walter Dietrich - Die dunklen Seiten...
...

13,00 €

Walther Hinz - Neue Erkenntnisse über...
...

12,90 €

Wolfgang Neuss - Neuss' Zeitalter

Beratungskontakt

contact-lady

Vereinbaren Sie ein kostenloses Erstgespräch. Wir beraten Sie gerne!

Kategorien