In: Microelectronics and Reliability, Vol. 31, No. 4, pages 699-725. 1991.
Abstract: The paper describes the generalized stochastic Petri net (GSPN) approach to the performance evaluation of distributed systems. The structural properties and temporal specifications of GSPN are summarized, and application examples are then illustrated, trying to emphasize the methodology to be followed in the model development and validation, rather than the numerical results that can be obtained from the specific models developed in the paper.
Keywords: (introduction to) generalized stochastic net(s); performance evaluation (of) distributed systems.