Probabilistic dynamic technique for the distributed generation of very large state spaces

Performance Evaluation

Volumn 39, Issue 1-4, 2000, Pages 127-148

  Knottenbelt, W J ^a   Harrison, P G ^a   Mestern, M A ^b   Kritzinger, P S ^a,b,c,d  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF CAPE TOWN   (South Africa)

^c UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^d INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARKOV PROCESSES; MATHEMATICAL MODELS; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS; PERFORMANCE; STATE SPACE METHODS;

PROBABILISTIC ALGORITHM; STATE SPACE EXPLORATION; STATE SPACE GENERATION;

PROBABILITY;

EID: 0034139994     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(99)00061-9     Document Type: Article

References (20)

1. M. Ajmone-Marsan, G. Conte, G. Balbo, A class of generalised stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Trans. Comput. Systems 2 (1984) 93-122.
2. S.C. Allmaier, G. Horton, Parallel shared-memory state-space exploration in stochastic modeling, Lecture Notes in Computer Science,vol. 1253, Springer, Berlin, 1997, pp. 207-218.
3. F. Basket, K.M. Chandy, R.R. Muntz, F.G. Palacios, Open, closed and mixed networks of queues with different classes of customers, J. ACM 22 (1975) 248-260.
4. F. Bause, Queueing Petri nets: a formalism for the combined qualitative and quantitative analysis of systems, in: Proceedings of the Fifth International Workshop on Petri nets and Performance Models, IEEE, October 1993.
5. P. Buchholz, Hierarchical Markovian models: symmetries and aggregation, Performance Evaluation 22 (1995) 93-110.
6. C. Caselli, G. Conte, P. Marenzoni, Parallel state exploration for GSPN models, in: Proceedings of the 16th International Conference on the Application and Theory and Petri Nets, Lecture Notes in Computer Science, vol. 935, Springer, Berlin, June 1995.
7. G. Ciardo, J. Gluckman, D. Nicol, Distributed state space generation of discrete-state stochastic models, INFORMS J. Comput. 10 (1) (1998) 82-93.
8. G. Ciardo, J.K. Muppula, K.S. Trivedi, On the solution of GSPN reward models, Performance Evaluation 12 (4) (1991) 237-253.
9. G. Ciardo, K.S. Trivedi, A decomposition approach for stochastic reward net models, Performance Evaluation 18 (1) (1993) 37-59.
10. E.W. Dijkstra, W.H.J. Feijen, A.J.M. van Gasteren, Derivation of a termination detection algorithm for distributed computations, Inform. Process. Lett. 16 (1983) 217-219.
11. A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, V. Sunderam, PVM Parallel Virtual Machine: A User's Guide and Tutorial for Networked Parallel Computing, MIT Press, Cambridge, MA, 1994.
12. W. Gropp, E. Lusk, A. Skjellum, Using MPI: Portable Parallel Programming with the Message Passing Interface, MIT Press, Cambridge, MA, 1994.
13. G.J. Holzmann, Design and Validation of Computer Protocols, Prentice-Hall, Englewood Cliffs, NJ, 1991.
14. G.J. Holzmann, An analysis of bistate hashing, in: Proceedings of the IFTP/PSTV95: Conference on Protocol Specification, Testing and Verification, Warsaw, Poland, Chapman & Hall, London, 1995.
15. H. Ishihata, M. Takahashi, H. Sato, Hardware of AP3000 scalar parallel server, Fujitsu Sci. Tech. J. 33 (1) (1997) 24-30.
16. P. Kemper, Numerical analysis of superposed GSPNs, in: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Silver Spring, MD, 1995, pp. 52-62.
17. W.J. Knottenbelt, Generalised Markovian analysis of timed transition systems, Master's thesis, University of Cape Town, 1996.
18. W.J. Knottenbelt, P.G. Harrison, Distributed disk-based solution techniques for large Markov models, in: Proceedings of the Third International Meeting on the Numerical Solution of Markov Chains (NSMC'99), Zaragoza, Spain, 6-10 September 1999, pp. 58-75.
19. U. Stern, D.L. Dill, Improved probabilistic verification by hash compaction, in: IFTP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, 1995.
20. P. Wolper, D. Leroy, Reliable hashing without collision detection, Lecture Notes in Computer Science, vol. 697, Springer, Berlin, 1993, pp. 59-70.