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