Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches | IEEE Conference Publication | IEEE Xplore