We are very glad that our SMC engine for statistical model checking of stochastic timed-arc Petri nets received the best paper award at the 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025).

The paper can be obtained from https://link.springer.com/chapter/10.1007/978-3-031-94634-9_9