Performance modeling and analysis of a switching router based on stochastic Petri net

A stochastic Petri net (SPN) model of a switching router is proposed in the paper. In the performance analysis process, decomposition and iteration are introduced to solve the famous "state-explosion" problem resulted from the extending scale. The results show the feasibility and efficiency of the approximate method. And this kind of approximate analysis method can be used in other performance analysis cases where there are complicated competitions for two or more resources.