Performance evaluation of decision-free stochastic timed petri nets | IEEE Conference Publication | IEEE Xplore