Parallel approaches to the numerical transient analysis of stochastic reward nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1639, Issue , 1999, Pages 147-167

  Allmaier, Susann ^a   Kreische, David ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES; MEMORY ARCHITECTURE; NETWORK MANAGEMENT; PETRI NETS; STOCHASTIC SYSTEMS;

CONTINUOUS TIME MARKOV CHAIN; DISTRIBUTED MEMORY MACHINES; IRREGULAR DATA STRUCTURES; MULTI-PROCESSOR PLATFORMS; NUMERICAL TRANSIENT ANALYSIS; SHARED MEMORY ALGORITHMS; SYNCHRONIZATION MECHANISMS; TRANSIENT NUMERICAL ANALYSIS;

TRANSIENT ANALYSIS;

EID: 84958999152     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_10     Document Type: Conference Paper

References (19)

1. S. Allmaier and S. Dalibor. PANDA — Petri net ANalysis and Design Assistant. In Tools Descriptions, 9th int. Conference on Modeling Techniques and Tools for Computer Performance Evaluation (Tools'97), St. Malo, France, 1997.
2. S. Allmaier and G. Horton. Parallel shared-memory state-space exploration in stochastic modeling. In G. Bilardi et al, editor, Solving Irregularly Structured Problems in Parallel. Springer, LNCS 1253, 1997.
3. G. Balbo. On the success of stochastic Petri nets. In Proc. IEEE Int. Conf. Petri Nets and Perf. Models (PNPM '95), pages 2-9, Durham, NC, 1995.
4. S. Caselli, G. Conte, and P. Marenzoni. Parallel state space exploration for GSPN models. In Proc. IEEE Int. Conf. on Appl. and Theory of Petri nets, Torino, Italy, 1995.
5. G. Ciardo, A. Blakemore, P.F. Chimento, J.K. Muppala, and K.S. Trivedi. Automated generation and analysis of Markov reward models using stochastic reward nets. In C. Meyer and R.J. Plemmons, editors, Linear Algebra, Markov Chains and Queueing Models. Springer, 1992. IMA Vol. in Math. and Appl., vol. 48.
6. G. Ciardo, J. Gluckman, and D. Nicol. Distributed state-space generation of discrete-state stochastic models. ORSA J. Comp. To appear.
7. G. Ciardo and A.S. Miner. Storage alternatives for large structured state spaces. In R. Marie et al, editor, Computer Perf. Eval. Springer, LNCS 1245, 1997.
8. G. Ciardo, J. Muppala, and K.S. Trivedi. SPNP: stochastic Petri net package. In Proc. IEEE 3rd Int. Conf. Petri Nets and Performance Models (PNPM '89), pages 142-151, Kyoto, Japan, 1989.
9. D. Comer. The ubiquitous B-tree. Computing Surveys, 11(2):121-137, 1979.
10. Message Passing Interface Forum. MPI: a message-passing interface standard. J. Supercomputer Appl. and High Perf. Comp., 8, 1994.
11. A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine. MIT Press, 1994.
12. R. German. SPNL: Processes as language-oriented building blocks of stochastic Petri nets. In R. Marie et al, editor, Comp. Perf. Eval. Springer, LNCS 1245, 1997.
13. D. Knuth. The Art of Computer Programming: Sorting and Searching, volume 3. Addison-Wesley, 1973.
14. P. Marenzoni, S. Caselli, and G. Conte. Analysis of large GSPN models: A distributed solution tool. In Proc. IEEE Int. Conf. Petri Nets and Perf. Models (PNPM '97), St. Malo, France, 1997.
15. M. Ajmone Marsan, G. Balbo, and G. Conte. Performance models of multiprocessor systems. MIT Press, 1986.
16. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with generalized stochastic Petri nets. Wiley, 1995.
17. A.L. Reibman, R.M. Smith, and K.S. Trivedi. Markov and Markov reward model transient analysis: an overview of numerical approaches. European J. Operations Research, pages 257-267, 1989.
18. A.L. Reibman and K.S. Trivedi. Transient analysis of cumulative measures of Markov model behaviour. Stochastic Models, 5(4):683-710, 1989.
19. W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton, New Jersey, 1994.