Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets