In: M.E. Woodward, S. Datta, S. Szumko (Eds.): Computer and Telecommunication Systems Performance Engineering; Pentech Press. 1994.
Abstract: In this paper a subclass of stochastic Petri nets (SPNs) called closed synchronized systems of stochastic sequential processes is analysed. These SPNs are composed of disjoint cyclic sequential processes which are synchronized on behalf of accessing shared resources. The known exact product form solution for equilibrium state probabilities is presented. A convolution algorithm is given for calculating the normalization constant and different performance measures will be defined in terms of this constant.