Massively parallel SIMD simulation of discrete time stochastic Petri nets | IEEE Conference Publication | IEEE Xplore