Statistics for Symbolic techniques for the performance analysis of generalised stochastic petri nets