Parallel Simulation of Stochastic Reward Nets using Theatre | IEEE Conference Publication | IEEE Xplore