loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Workshop on Petri Nets and Performance Models (PNPM '99)
On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets
Zaragoza, Spain
September 08-September 10
ISBN: 0-7695-0331-4
Carlos J. Pérez-Jiménez, Universidad de Zaragoza
Javier Campos, Universidad de Zaragoza
Net-driven decomposition techniques are considered in this paper in order to reduce the state explosion problem for the computation of performance indices of stochastic Petri nets.Basically, the idea is to represent (or partially represent) in a decomposed manner the reachability graph of the model so it can be used for exact and/or approximated performance analysis. In that way, the complete storing of the graph is avoided and, for the case of approximate analysis, the solution of the isomorphous continuous time Markov chain is substituted by the solution of smaller components. The techniques are applied to a couple of non-trivial models.
Index Terms:
Stochastic Petri nets, Net-driven decomposition, Structured solution methods
Citation:
Carlos J. Pérez-Jiménez, Javier Campos, "On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets," pnpm, pp.32, Eighth International Workshop on Petri Nets and Performance Models (PNPM '99), 1999
Usage of this product signifies your acceptance of the Terms of Use.