Dieses Werk führt in die moderne Verifikation von Zeit‑Petri‑Netzen und zeitlich gesteuerten Automaten ein, nutzt temporale Logik als Schlüsselwerkzeug, erläutert formale Grundlagen, effiziente Prüfverfahren und zeigt konkrete Einsatzszenarien in Echtzeitsteuerungen.