Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behavior | IEEE Journals & Magazine | IEEE Xplore