Combining generalized stochastic Petri nets and PERT networks for the performance evaluation of concurrent processes | IEEE Conference Publication | IEEE Xplore