This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Workshop on Petri Nets and Performance Models (PNPM '97)
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
St. Malo, FRANCE
June 02-June 06
ISBN: 0-8186-7931-X
S. C. Allmaier, Universitaet Erlangen-Nuernberg
M. Kowarschik, Universitaet Erlangen-Nuernberg
G. Horton, Universitaet Erlangen-Nuernberg
A common approach for the quantitative analysis of a generalized stochastic Petri net (GSPN) is to generate its entire state space and then solve the corresponding continuous--time Markov chain (CTMC) numerically. This analysis often suffers from two major problems: the state space explosion and the stiffness of the CTMC. In this paper we present parallel algorithms for shared--memory machines that attempt to alleviate both of these difficulties: the large main memory capacity of a multiprocessor can be utilized and long computation times are reduced by efficient parallelization. The algorithms comprise both CTMC construction and numerical steady--state solution. We give experimental results obtained with a Convex SPP1600 shared--memory multiprocessor that show the behavior of the algorithms and the parallel speedups obtained.
Citation:
S. C. Allmaier, M. Kowarschik, G. Horton, "State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor," pnpm, pp.112, Seventh International Workshop on Petri Nets and Performance Models (PNPM '97), 1997
Usage of this product signifies your acceptance of the Terms of Use.