Compact representations of probability distributions in the analysis of Superposed GSPNs | IEEE Conference Publication | IEEE Xplore