Sign in
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
Jaime Arias
Kyungmin Bae
Carlos Olarte
Peter Csaba Ölveczky
Laure Petrucci
Fredrik Rømming
Published in:
CoRR (2023)
Keyphrases
</>
petri net
colored petri nets
neural network
data analysis
distributed systems
complex systems
dynamical systems
petri net model