|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| 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
| ASCII Text | x | ||
| S. C. Allmaier, M. Kowarschik, G. Horton, "State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor," Petri Nets and Performance Models, IEEE International Workshop on, pp. 112, Seventh International Workshop on Petri Nets and Performance Models (PNPM '97), 1997. | |||
| BibTex | x | ||
| @article{ 10.1109/PNPM.1997.595542, author = {S. C. Allmaier and M. Kowarschik and G. Horton}, title = {State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor}, journal ={Petri Nets and Performance Models, IEEE International Workshop on}, volume = {0}, year = {1997}, issn = {1063-6714}, pages = {112}, doi = {http://doi.ieeecomputersociety.org/10.1109/PNPM.1997.595542}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Petri Nets and Performance Models, IEEE International Workshop on TI - State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor SN - 1063-6714 SP EP A1 - S. C. Allmaier, A1 - M. Kowarschik, A1 - G. Horton, PY - 1997 VL - 0 JA - Petri Nets and Performance Models, IEEE International Workshop on ER - | |||
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.
