@misc{indiciae16d5fc50e0b0,
  title = {TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets},
  author = {Tanguy Dubois and Kim G. Larsen and Jiri Srba},
  year = {2026},
  url = {https://arxiv.org/abs/2606.02007},
  note = {Source identifier: 2606.02007}
}