Calculation of traversing time distributions in semi-Markov chains with application on Petri Nets | IEEE Conference Publication | IEEE Xplore