Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo. On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Eval., 19(2-3):195-222, 1994.
Abstract is missing.