A moment generating function based approach for evaluating extended stochastic Petri Nets | IEEE Journals & Magazine | IEEE Xplore