A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems | Publicación