10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'02)
Novel Formulae for GSPN Aggregation
Fort Worth, Texas
October 11-October 16
ISBN: 0-7695-1840-0
Stationary analysis of Generalize Stochastic Petri Nets (GSPNs) often suffers from the state space explosion problem. Large reachability sets - isomorphic to continuous-time Markov chains - are not only expensive to generate, but related high-dimensional data structures also put excessive demands on numerical algorithms. In particular, sequences of transitions and alternative branches contribute multiplicatively to the size of the state space - if enabled concurrently. This paper examines under which circumstances such structures can be merged into a single timed transition while preserving the stationary token distributions in the embedding envir onment. For these aggregation steps on net level, novel formulae for the (locally) marking-dependent rates of the merged transition are developed, which solely rely on parameters of the aggregate dsubnet. These formulae bear a strong relation to ow equivalence. Examples throughout the paper demonstrate the gains both in drastically reduced state spaces and shortened processing times of the numerical analysis.
Citation:
J. Freiheit, A. Heindl, "Novel Formulae for GSPN Aggregation," mascots, pp.0209, 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'02), 2002