Applying generalized stochastic Petri nets to manufacturing systems containing nonexponential transition functions | IEEE Conference Publication | IEEE Xplore