Applying generalized stochastic Petri nets to manufacturing systems containing nonexponential transition functions | IEEE Journals & Magazine | IEEE Xplore