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‘.- 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.