On the Computation of Performance Characteristics of Concurrent Programs using GSPNs