Semi-Markov PEPA: Modelling with generally distributed actions

International Journal of Simulation: Systems, Science and Technology

Volumn 6, Issue 3-4, 2005, Pages 43-51

  Bradley, Jeremy T ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

PEPA; Semi Markov process; Stochastic process algebra

Indexed keywords

ALGEBRA; CHAINS; RANDOM PROCESSES; STOCHASTIC SYSTEMS;

CONSERVATIVE EXTENSIONS; MARKOVIAN PROCESS ALGEBRAS; PASSAGE TIME; PEPA; SEMI MARKOV PROCESS; SEMI-MARKOV CHAIN; SOJOURN TIME; STOCHASTIC PROCESS ALGEBRAS;

MARKOV PROCESSES;

EID: 34548061231     PISSN: 14738031     EISSN: 1473804X     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. Bowman, H., Bryans, J. W. & Derrick, J. (2001), ‘Analysis of a multimedia stream using stochastic process algebras’, The Computer Journal 44(4), 230-245.
2. Bradley, J. T. (1999), Towards Reliable Modelling with Stochastic Process Algebras, PhD thesis, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK.
3. Bradley, J. T. (2003), Semi-Markov PEPA: a contradiction in terms?, in S. T. Gilmore, ed., ‘PASTA’03, Proceedings of 2nd Workshop on Process Algebras and Stochastically Timed Activities’, LFCS, Edinburgh, pp. 1-6.
4. Bradley, J. T. (2004), Semi-Markov PEPA: Compositional modelling and analysis with generally distributed actions, in I. Awan, ed., ‘UKPEW’04, Proceedings of 20th Annual UK Performance Engineering Workshop’, University of Bradford, pp. 266-275.
5. Bradley, J. T. & Davies, N. J. (1999), Reliable performance modelling with approximate synchronisations, in Hillston & Silva (1999), pp. 99-118.
6. Bradley, J. T., Dingle, N. J., Gilmore, S. T. & Knottenbelt, W. J. (2003), Derivation of passage-time densities in PEPA models using ipc: the Imperial PEPA Compiler, in G. Kotsis, ed., ‘MASCOTS’ 03, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems’, IEEE Computer Society Press, University of Central Florida, pp. 344-351.
7. Bradley, J. T., Dingle, N. J., Knottenbelt, W. J. & Harrison, P. G. (2003), Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic, in G. Ciardo & W. Sanders, eds, ‘PNPM’03, Proceedings of Petri Nets and Performance Models’, IEEE Computer Society, University of Illinois at Urbana-Champaign, pp. 62-71.
8. Bravetti, M., Bernardo, M. & Gorrieri, R. (1998), Towards performance evaluation with general distributions in process algebras, in D. Sangiorgi & R. de Simone, eds, ‘CONCUR’98, Proceedings of the 9th International Conference on Concurrency Theory’, Vol. 1466 of Lecture Notes in Computer Science, Springer-Verlag, pp. 405-422.
9. Bravetti, M. & Gorrieri, R. (1999), Interactive Generalized Semi-Markov Processes, in Hillston & Silva (1999), pp. 83-98.
10. Clark, G. (1994), Techniques for the Construction and Analysis of Algebraic Performance Models, PhD thesis, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK. CST-107-94.
11. D’Argenio, P. R. (1999), Algebras and Automata for Timed and Stochastic Systems, PhD thesis, Department of Computer Science, University of Twente.
12. D’Argenio, P. R., Katoen, J.-P. & Brinksma, E. (1998), A compositional approach to Generalised Semi-Markov Processes, in ‘WODES’98, Proceedings of the 4th International Workshop on Discrete Event Systems’, IEE, Caligari, pp. 391-387.
13. Dugan, J. B., Trivedi, K. S., Geist, R. M. & Nicola, V. F. (1984), Extended stochastic Petri nets: Applications and analysis, in E. Gelenbe, ed., ‘Performance’ 84, Proceedings of 10th Intl. Symp. on Models of Computer System Performance’, Elsevier, pp. 507-519.
14. El-Rayes, A, Kwiatkowska, M. & Norman, G. (1999), Solving infinite stochastic process algebra models through matrix-geometric methods, in Hillston & Silva (1999), pp. 41-62.
15. Harrison, P. G. & Strulo, B. (1995), ‘Process algebra for discrete event simulation’, Qualitative Methods in Parallel Systems.
16. Hillston, J. (1994), The nature of synchronisation, in U. Herzog & M. Rettelbach, eds, ‘Process Algebra and Performance ModellingWorkshop’, Arbeitsberichte des IMMD, Universt¨at Erlangen-N¨urnberg, pp. 49-68.
17. Hillston, J. (1996), A Compositional Approach to Performance Modelling, Vol. 12 of Distinguished Dissertations in Computer Science, Cambridge University Press. ISBN 0 521 57189 8.
18. Hillston, J. & Silva, M., eds (1999), PAPM’99, Proceedings of the 7th International Workshop on Process Algebra and Performance Modelling, Centro Politiécnico Superior de la Universidad de Zaragoza, Prensas Universitarias de Zaragoza. ISBN 84 7733 513 3.
19. PEPA Resource Site (n.d.), http://www.dcs.ed.ac.uk/pepa/.
20. Pyke, R. (1961), ‘Markov renewal processes: Definitions and preliminary properties’, Annals of Mathematical Statistics 32(4), 1231-1242.