GSPN models of ATM switches

The paper presents examples of the application of the generalised stochastic Petri net (GSPN) modeling paradigm to the performance analysis of ATM networks, illustrating modular GSPN models of two well-known ATM switch architectures: the Knockout and the Gauss switches. The approach is based on the use of many immediate transitions, and only one timed transition, whose firing time distribution is irrelevant for the computation of several performance indices. The analysis of the two example ATM switch architectures allows the limited complexity of the approach to be demonstrated, and interesting insights into the switch behavior to be obtained