Improving the efficiency of the analysis of DSPN models

The applicability of DSPN models has been limited by the computational complexity of the algorithm for the evaluation of the steady state probability distribution over reachable markings, so that it was often necessary to resort to simulation rather than analysis. Two techniques for the improvement of the efficiency of the analysis of DSPN are outlined in this paper, using a previously published model of a high speed local area network as an example of the application of the proposed techniques, and as a benchmark for the assessment of their efficiency.