In: Proceedings of 9th International Workshop on Petri Nets and Performance Models, PNPM'01 Aachen, Sept. 11-14, 2001, Reinhard German and Boudewijn Haverkort (eds.), IEEE, pages 91-100. 2001.
Abstract: State space explosion is one of the main problems in the area of the performance evaluation of Petri net models. This problem prevents the exact numerical analysis of complex real-life systems. To overcome the limitation of too large state spaces many methods were proposed in which the whole system is divided into small analyzable parts. This paper presents one of these so called decomposition methods. In contrast to known decomposition methods the whole model is decomposed automatically in the approach presented here. Afterwards the submodels are aggregated. The paper presents a new iterative aggregation method which is called MIMO graph based aggregation. In a third step a iterative analysis is used to compute performance measures using iterative response time approximation. The method is explained by applying it to an example. It is integrated in the modeling and analysis tool for stochastic Petri nets TimeNET.