Browsing HVL Open by Author "Kallwies, Hannes"
Now showing items 1-1 of 1
-
Runtime Verification of Timed Petri Nets
Requeno Jarabo, Jose Ignacio; Gómez-Martínez, Elena; Kallwies, Hannes; Haustein, Melanie; Leucker, Martin; Stolz, Volker; Stünkel, Patrick (Others, 2024)Timed Petri net (TPN) is a type of Petri net for modeling concurrent systems that incorporates time durations as first-class citizens. This paper provides a means for analyzing TPN by runtime verification, a lightweight ...