Distributed semi-Markov processes in stochastic T-timed Petri nets | IEEE Conference Publication | IEEE Xplore