In: Proc. 11th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA'04), pages 199-206. June 2004. Magdeburg, Germany.
Abstract: In this paper we present a new technique for analyzing 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 synchronizing 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. For these cases a closed-form computation of the aggregated GSPN model was impossible. In this paper we present a solution overcoming this problem.
Keywords: Stochastic Petri net models; Numerical analysis..