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) klassi...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | German |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989, 1989
|
Edition: | 1st ed. 1989 |
Series: | Informatik-Fachberichte
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 9 Anhang B: Syntax und Semantik der Spezifikationssprache ‘PDL‘ (Predicate/Transition Net Description Language)
- 9.1 In PROVER realisierte PDL
- 9.2 Entwurf einer erweiterten PDL
- 10 Anhang C: Definition Und Eigenschaften Der Prädikat/Tr Ansitions-Netze
- 10.1 Prädikatenlogische und mengentheoretische Grundlagen
- 10.2 Prädikat/Transitions-Netz
- 10.3 Erreichbarkeits-Graph
- 10.4 Konflikte und Kontakte
- 10.5 Starke Zusammenhangs-Komponenten
- 10.6 Lebendigkeits-Eigenschaften
- 10.7 Fairness-Eigenschaften
- 10.8 Gefrorene Marken
- 10.9 Abbildungen der Beispiele
- Anhang D Glossar
- 1 Einleitung
- 2 Eine Klassifikation Von Petri-Netz-Klassen
- 2.1 Grobklassifikation
- 2.2 Feinklassifikation
- 2.3 Zusammenfassung
- 2.4 Klassifikation gängiger Netzklassen
- 3 Eine Klassifikation Von Spezifikation- und AnalysemethoDen Für Petri-Netze
- 3.1 Spezifikations-Schnittstelle
- 3.2 Invarianten-Analyse
- 3.3 Erreichbarkeits-Analyse
- 3.4 Diskrete Simulation
- 3.5 Programm-und Netz-Generation
- 3.6 Netz-Reduktion
- 4 Klassifikation und Bewertung Existierender Petri-Netz-Werkzeuge
- 4.1 Beschreibungs-Katalog für Petri-Netz-Werkzeuge
- 4.2 Klassifikation und Bewertung existierender Werkzeuge auf höheren Petri-Netzen
- 4.3 Zusammenfassung
- 5 Auswahl Geeigneter Petri-Netz-Werkzeuge
- 5.1 Werkzeuge zur graphischen Netzkonstruktion
- 5.2 Werkzeuge zur strukturellen funktionellen Validation durch Invarianten-Analyse
- 5.3 Werkzeuge zur dynamischen funktionellen Validation durch Erreichbarkeits-Analyse
- 5.4 Werkzeuge zur quantitativen Validation durch Markovketten-Analyse
- 5.5 Werkzeuge zur quantitativen Validation durch Simulation
- 5.6 Werkzeuge zur Programm-Generation und zur Netzreduktion
- 5.7 Zusammenfassung
- 6 Funktionalität und Benutzeroberfläche Des Petri-Netz-Werkzeuges ‘Prover‘
- 6.1 Überblick über das Petri-Netz-Werkzeug ‘PROVER‘
- 6.2 Modellbeschreibung eines Multi-tasking Monitors
- 6.3 Ergebnisse der Erreichbarkeitsanalyse
- 6.4 Ergebnisse der S-Invarianten-Analyse
- 7 Ausblick
- 7.1 Fortgeschrittene Spezifikationssprachen für höhere Netze
- 7.2 Fortgeschrittene Analysemethoden auf höheren Netzen
- 7.3 Fortgeschrittene integrierte Petri-Netz-Werkzeuge
- 8 Anhang A: Prover-Online-Dokumentation
- 8.1 PROVER-Kommandos
- 8.2 PDL-Compiler ‘PDLC‘
- 8.3 Erreichbarkeitsgraph-Generator ‘RGG‘
- 8.4 Erreichbarkeitsgraph-Anfragesystem‘RGI‘