Informatik-Fachberichte

Petri-Netz-Methoden und -Werkzeuge

Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Autoren: Leszak, Marek, Eggert, Horst

Vorschau

Dieses Buch kaufen

eBook 38,66 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-74363-4
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 54,99 €
Preis für Deutschland (Brutto)
Über dieses Buch

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.

Inhaltsverzeichnis (10 Kapitel)

Inhaltsverzeichnis (10 Kapitel)

Dieses Buch kaufen

eBook 38,66 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-74363-4
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 54,99 €
Preis für Deutschland (Brutto)
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Petri-Netz-Methoden und -Werkzeuge
Buchuntertitel
Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Autoren
Titel der Buchreihe
Informatik-Fachberichte
Buchreihen Band
197
Copyright
1989
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-74363-4
DOI
10.1007/978-3-642-74363-4
Softcover ISBN
978-3-540-50642-3
Buchreihen ISSN
0343-3005
Auflage
1
Seitenzahl
XII, 254
Themen