Matteo Sereno Gianfranco Balbo Mean Value Analysis of Stochastic Petri Nets. 35-62 1997 29 Perform. Eval. 1 db/journals/pe/pe29.html#SerenoB97