Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers