Fluid flow approximation of PEPA models

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 33-43

  Hillston, J ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; FLOW OF FLUIDS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; ORDINARY DIFFERENTIAL EQUATIONS;

PEPA ALGEBRA; PEPA MODELS; REPLICATED COMPONENTS; STOCHASTIC PROCESS ALGEBRA;

LINEAR ALGEBRA;

EID: 33746338797     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.12     Document Type: Conference Paper

References (22)

1. H. Bowman, J. Bryans, and J. Derrick. Analysis of a multimedia stream using stochastic process algebra. In C. Priami, editor, 6th Int. Workshop on Process Algebras and Performance Modelling, pages 51-69, Nice, September 1998.
2. J. T. Bradley, N. J. Dingle, S. T. Gilmore, and W. J. Knottenbelt. Derivation of passage-time densities in PEPA models using ipc: the Imperial PEPA Compiler. In G. Kotsis, editor, Proc. of the 11th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pages 344-351, October 2003. IEEE Computer Society Press.
3. D. Deavours and W. Sanders. An efficient disk-based tool for solving large Markov models. Performance Evaluation, 33:67-84, 1998.
4. J. Dormand and P. J. Prince. A family of embedded Runge-Kutta formulae. Journal of Computational and Applied Mathematics, 6:19-26, 1980.
5. D. Gillespie. A general method for numerically simulating the stochastic time evolution of coupled chemical species. J. Camp. Phys., 22:403-434, 1976.
6. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proc. of 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in LNCS, pages 353-368, Vienna, May 1994. Springer-Verlag.
7. S. Gilmore, J. Hillston, and M. Ribaudo. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering, 27(5):449-464, May 2001.
8. H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi-terminal binary decision diagrams to represent and analyse continuous time Markov chains. In Proc. of 3rd Intl. Workshop on the Numerical Solution of Markov Chains, pages 188-207, 1999.
9. J. Hillston. Compositional Markovian modelling using a process algebra. In W. Stewart, editor, Proc. of 2nd Int. Workshop on Numerical Solution of Markov Chains: Computations with Markov Chains, Raleigh, North Carolina, Jan. 1995. Kluwer Academic Press.
10. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
11. J. Hillston. Tuning systems: From composition to performance. The Computer Journal, 2005. To appear.
12. J. Hillston, L. Kloul, and A. Mokhtari. Towards a feasible active networking scenario. Telecommunication Systems, 27(2-4):413-438, 2004.
13. W. J. Knottenbelt. Parallel Performance Analysis of Large Markov Models. PhD thesis, Department of Computing, Imperial College, 1999.
14. H. Kobayashi. Application of the diffusion approximation to queueing networks I: Equilibrium queue distributions. J. ACM, 21(2):316-328, 1974.
15. H. Kobayashi. Application of the diffusion approximation to queueing networks II: Nonequilibrium distributions and applications to computer modeling. J. ACM, 21(3):459-469, 1974.
16. V. Kulkarni. Fluid models for single buffer systems. In Frontiers in Queueing, Models and Applications in Science and Engineering, Probability and Stochastic Series, pages 321-338. CRC Press, 1997.
17. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. In Proc. 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS, pages 52-66. Springer, April 2002.
18. B. Oksendal. Stochastic Differential Equations. Springer, 2003.
19. D. Parker, G. Norman, and M. Kwiatkowska. PRISM 2.1.dev4 User's Guide. School of Computer Science, University of Birmingham, Jan. 2005.
20. T. Soong. Random Differential Equations in Science and Engineering. Academic Press, 1973.
21. N. Thomas, J. T. Bradley, and W. J. Knottenbelt. Stochastic analysis of scheduling strategies in a grid-based resource model. IEE Software Engineering, 151(5):232-239, September 2004.
22. K. Trivedi and V. Kulkarni. FSPNs: Fluid stochastic Petri nets. In M. A. Marsan, editor, Application and Theory of Petri Nets, Proc. 14th Int. Conference, volume 691 of LNCS, pages 24-31, Chicago, Illinois, USA, 1993. Springer-Verlag.