loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Usage of this product signifies your acceptance of the Terms of Use.