Advertisement

Petri-Netz-Methoden und -Werkzeuge

Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

  • M. Leszak
  • H. Eggert

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 197)

Table of contents

  1. Front Matter
    Pages I-XII
  2. M. Leszak, H. Eggert
    Pages 1-4
  3. M. Leszak, H. Eggert
    Pages 5-23
  4. M. Leszak, H. Eggert
    Pages 66-72
  5. M. Leszak, H. Eggert
    Pages 130-136
  6. M. Leszak, H. Eggert
    Pages 137-147
  7. Back Matter
    Pages 231-254

About this book

Introduction

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.

Keywords

Dokumentation Entwurf Klassen Klassifikation Simulation System Validierung Verifikation

Authors and affiliations

  • M. Leszak
    • 1
  • H. Eggert
    • 2
  1. 1.Philips Kommunikations Industrie AGNürnberg 10Germany
  2. 2.Institut für Datenverarbeitung in der Technick (IDT)Kernforschungszentrum Karlsruhe GmbHKarlsruhe 1Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-74363-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50642-3
  • Online ISBN 978-3-642-74363-4
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering