Application of generalized stochastic Petri net to quantitative evaluation of software process | IEEE Conference Publication | IEEE Xplore