Sensitivity analysis of Markov regenerative stochastic Petri nets | IEEE Conference Publication | IEEE Xplore