TY  - RPRT
TI  - A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
AU  - Jaime Arias
AU  - Kyungmin Bae
AU  - Carlos Olarte
AU  - Peter Csaba Ölveczky
AU  - Laure Petrucci
PY  - 2024
DO  - 10.46298/fi.12781
UR  - https://arxiv.org/abs/2401.01884
ID  - 2401.01884
ER  -