AESOP home


Iterative Transient State Distribution Calculation in Semi-Markov Processes

Nicholas J. Dingle

National Workshop Paper
3rd Workshop on Process Algebras and Stochastically Timed Activities (PASTA'04)
May, 2004

This paper presents an iterative technique for the transient analysis of large structurally unrestricted semi-Markov processes (SMPs), which builds on our previous work on iterative passage time calculation. The method is based on the calculation and subsequent numerical inversion of Laplace transforms. We demonstrate our technique on a Markovian process algebra model of a web-server with 69,440 states.

PDF of full publication (114.1 kilobytes)
(need help viewing PDF files?)

Information from