Petri Nets for Systems Engineering, Fachbücher von Rüdiger Valk, Claude Girault
96,29 €
"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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
