Generalized stochastic Petri nets for the performance evaluation of FMS. - Gianfranco Balbo; Giovanni Chiola; Giuliana Franceschinis; G. Molinar Roet (ICRA, 1987)

On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. - Gianfranco Balbo; Giovanni Chiola; Giuliana Franceschinis; G. Molinar Roet (PNPM, 1987)