On the hierarchical evaluation of stochastic Petri net models with waiting time resonance | IEEE Conference Publication | IEEE Xplore