Text this: Symbolic techniques for the performance analysis of generalised stochastic petri nets