Combining queueing network and Generalized Stochastic Petri Net models for the analysis of some software blocking phenomena | IEEE Journals & Magazine | IEEE Xplore