|
|
|
|
| LEADER |
04874nmm a2200385 u 4500 |
| 001 |
EB000672547 |
| 003 |
EBX01000000000000000525629 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| ger |
| 020 |
|
|
|a 9783642743634
|
| 100 |
1 |
|
|a Leszak, Marek
|
| 245 |
0 |
0 |
|a Petri-Netz-Methoden und -Werkzeuge
|h Elektronische Ressource
|b Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
|c von Marek Leszak, Horst Eggert
|
| 250 |
|
|
|a 1st ed. 1989
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1989, 1989
|
| 300 |
|
|
|a XII, 254 S.
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 505 |
0 |
|
|a 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 --
|
| 505 |
0 |
|
|a 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‘ --
|
| 653 |
|
|
|a Electronic digital computers / Evaluation
|
| 653 |
|
|
|a Operating Systems
|
| 653 |
|
|
|a Software engineering
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a System Performance and Evaluation
|
| 653 |
|
|
|a Operating systems (Computers)
|
| 653 |
|
|
|a Software Engineering
|
| 653 |
|
|
|a Theory of Computation
|
| 700 |
1 |
|
|a Eggert, Horst
|e [author]
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Informatik-Fachberichte
|
| 028 |
5 |
0 |
|a 10.1007/978-3-642-74363-4
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-74363-4?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 004.0151
|
| 520 |
|
|
|a 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
|