A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems.