Petri Nets for Systems Engineering, Fachbücher von Rüdiger Valk, Claude Girault
"Petri Nets for Systems Engineering" ist ein Fachbuch, das sich mit formalen Methoden zur Spezifikation und Verifikation von ... Mehr erfahren
Finde die besten Angebote
Bester Preis48 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Petri Nets for Systems Engineering" ist ein Fachbuch, das sich mit formalen Methoden zur Spezifikation und Verifikation von Hardware- und Softwaresystemen beschäftigt. Angesichts der zunehmenden Grösse und Komplexität moderner Systeme wird die Bedeutung dieser Methoden immer deutlicher. Das Buch bietet eine umfassende Darstellung der Fortschritte in den formalen Methoden, die auf Petri-Netz-Formalisierungen basieren. Es enthält eine Vielzahl von Beispielen aus verschiedenen Bereichen, darunter flexible Fertigung, Telekommunikation und Workflow-Management-Systeme. Die behandelten Themen umfassen die wesentlichen Phasen im Lebenszyklus der Systemgestaltung und -implementierung, wie Spezifikation, Modellprüftechniken zur Verifikation, Analyse von Eigenschaften, Codegenerierung und Ausführung von Modellen. Praktische Aspekte und die Unterstützung durch Werkzeuge werden detailliert erörtert, wobei grundlegende Konzepte wie Komposition, Abstraktion und Wiederverwendbarkeit von Modellen systematisch eingeführt werden.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer