Petri-Netz-Methoden und -Werkzeuge von Eggert, Horst, Leszak, Marek

Petri-Netz-Methoden und -Werkzeuge

Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

,

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 (edicate/Transition Net riented 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.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Dokumentation Entwurf Klassen Klassifikation Simulation System Validierung Verifikation
Produktinformationen

Petri-Netz-Methoden und -Werkzeuge online kaufen

Die Publikation Petri-Netz-Methoden und -Werkzeuge - Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen von , ist bei Springer Berlin erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Dokumentation, Entwurf, Klassen, Klassifikation, Simulation, System, Validierung, Verifikation. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 54.99 EUR und in Österreich 56.53 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!