Closed form analysis with Petri nets

The authors develop a symbolic computation technique to obtain closed form solutions for various performance measures of discrete event systems modeled as extended stochastic Petri nets or arbitrary stochastic Petri nets. The method for obtaining closed form solutions is based on the moment generating function based approach proposed by D.L. Guo et al. (1991). The symbolic math package Maple was used to obtain the closed form expressions and evaluate the performance measures. Some of the results obtained from this method are presented.<
>