TY  - RPRT
TI  - TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
AU  - Tanguy Dubois
AU  - Kim G. Larsen
AU  - Jiri Srba
PY  - 2026
UR  - https://arxiv.org/abs/2606.02007
ID  - 2606.02007
ER  -