Petri-Netz-Methoden und -Werkzeuge / Informatik-Fachberichte Bd.197 (PDF)
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...
sofort als Download lieferbar
Printausgabe 56.53 €
eBook (pdf) -30%
39.74 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Petri-Netz-Methoden und -Werkzeuge / Informatik-Fachberichte Bd.197 (PDF)“
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 (PRedicate/Transition Net Oriented VERification 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.
Bibliographische Angaben
- Autoren: Marek Leszak , Horst Eggert
- 2013, 1989, 254 Seiten, Deutsch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642743633
- ISBN-13: 9783642743634
- Erscheinungsdatum: 12.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 27 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Petri-Netz-Methoden und -Werkzeuge / Informatik-Fachberichte Bd.197"
Schreiben Sie einen Kommentar zu "Petri-Netz-Methoden und -Werkzeuge / Informatik-Fachberichte Bd.197".
Kommentar verfassen