Vor Ort
Merkzettel Warenkorb
  • Produktbild: Petri-Netz-Methoden und -Werkzeuge
  • Produktbild: Petri-Netz-Methoden und -Werkzeuge
Band 197

Petri-Netz-Methoden und -Werkzeuge Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Aus der Reihe Informatik-Fachberichte

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.1988

Abbildungen

XII, 254 S.

Verlag

Springer Berlin

Seitenzahl

254

Maße (L/B/H)

24,4/17/1,5 cm

Gewicht

475 g

Sprache

Deutsch

ISBN

978-3-540-50642-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.1988

Abbildungen

XII, 254 S.

Verlag

Springer Berlin

Seitenzahl

254

Maße (L/B/H)

24,4/17/1,5 cm

Gewicht

475 g

Sprache

Deutsch

ISBN

978-3-540-50642-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Petri-Netz-Methoden und -Werkzeuge
  • Produktbild: Petri-Netz-Methoden und -Werkzeuge
  • 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.