Study of the Normal Generalized Stochastic Petri nets and its Application in Testing System

Study methodologies for application of Petri nets theory to the modeling and performance analysis of testing system. Current stochastic Petri nets theories under active research generally assume that the transition associated with random time coincides with negative exponential distribution. But testing system and its hardware circuits modeled after stochastic Petri nets do not match the assumption of negative exponential distribution, rather coincide with other distribution. Based on the fact, this paper proposed the definition and analysis methodologies of the normal generalized stochastic Petri net (NGSPN) in order to solve the Petri net state space explosion of complex system, the authors adopted a different approach to study reduction techniques of the basic Petri net components serial and parallel connection models, deduced the equivalent theorems of reducing the NGSPNs serial connection model proposed some approximate formulas for reducing the parallel connection model under several common scenarios through simulation. A concrete example is given for NGSPN modeling and serial and parallel connection reduction of a testing systems data acquisition card