Closed-Form Token Distribution Computation of GSPNs Without

In this paper we present a new technique for analysing a class of Generalised Stochastic Petri Nets (GSPNs) while avoiding state space generation. The structure of the class of GSPNs, which is used here, is restricted in that no synchronising transitions are allowed. In recent publications we presented an introduction to the aggregation of sequential and alternative ordered transitions into one merged transition, preserving the token distribution of places belonging to the non-aggregated environment. An as yet unsolved problem has been dealing with environment places that are part of nested alternative structures. For these cases a closed-form computation of the aggregated GSPN model was impossible. In this paper we present a solution overcoming this problem