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