Franco Cicirelli Libero Nigro Parallel Simulation of Stochastic Reward Nets using Theatre. 1-8 2021 DS-RT https://doi.org/10.1109/DS-RT52167.2021.9576140 conf/dsrt/2021 db/conf/dsrt/dsrt2021.html#CicirelliN21