Runtime Verification of Timed Petri Nets. - José Ignacio Requeno; Elena Gómez-Martínez; Hannes Kallwies; Melanie Haustein; Martin Leucker; Volker Stolz; Patrick Stünkel (PNSE@Petri Nets, 2024)