In: Proc. 4th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 4), pages 67-71. September 1998.
Abstract: For the analysis of large systems modeled with stochastic Petri nets, state explosion is a well-known problem. Many real-life systems are thus impossible to analyze. Several research activities try to overcome this limitation. Diverse approaches can be found in the literature. This paper presents an iterative approximation technique for the steady-state throughput computation of complex concurrent systems. The proposed technique makes use of the divide and conquer principle. It is derived from the response time approximation method presented by Campos, Perez-Jimenez and others. We generalize this approach to a special class of hierarchical colored stochastic Petri nets.
Keywords: Performance evaluation, Iterative Approximation, Petri Nets, Manufacturing Systems.