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