TY  - RPRT
TI  - Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
AU  - Jaime Arias
AU  - Kyungmin Bae
AU  - Carlos Olarte
AU  - Peter Csaba Ölveczky
AU  - Laure Petrucci
AU  - Fredrik Rømming
PY  - 2023
UR  - https://arxiv.org/abs/2303.08929
ID  - 2303.08929
ER  -