A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems