In: Chinese Journal of Computers, Vol. 14, Nno. 5, pages 361-365. 1991. In Chinese.
Abstract: Generalized stochastic Petri net (GSPN) has been widely applied to the performance analysis of discrete event systems. An automatic analysis algorithm is developed for the steady-state analysis of GSPN models. The algorithm is also suitable for analysing the steady-state of SPN models and the reachability of PN.
Keywords: generalized stochastic net based analyzer; steady-state analysis; performance analysis; discrete event system; reachability.