Designing an efficient tool for stochastic well-formed coloured Petri nets