Product form solution for generalized stochastic Petri nets

In this paper, we show the structural characteristics that a particular class of generalized stochastic Petri nets must exhibit in order for their stationary probabilities to have a product-form. Sufficient conditions for identifying such a class are derived and proven with the development of a series of transformations that can also be used to construct, for any GSPN of the class, an equivalent SPN. These resulting SPNs represent the structures that can be analyzed with standard methods for product-form SPNs to establish whether the original GSPNs have product-form solutions and to compute their performance indices with effective approaches based on computationally efficient algorithms that avoid the generation of their underlying state spaces.