Login / Signup
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
Published in:
PNSE@Petri Nets (2024)
Keyphrases
</>
timed petri nets
discrete event systems
model checking
mathematical modeling
discrete event
neural network
complex systems
petri net
mathematical model
dynamical systems
multi agent
finite buffer