Abstract
An equivalence for semi-Markov processes is presented which preserves passage-time distributions between pairs of states in a given set. The equivalence is based upon a state-based aggregation procedure which is O(n 2) per state in the worst case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. G. Kemeny and J. L. Snell, Finite Markov Chains. Van Nostrand, 1960.
H. Hermanns and M. Rettelbach, “Syntax, semantics, equivalences, and axioms for MTIPP,” in Process Algebra and Performance Modelling Workshop (U. Herzog and M. Rettelbach, eds.), pp. 69–88, Arbeitsberichte des IMMD, Universtät Erlangen-Nürnberg, Regensberg, July 1994.
J. Hillston, A Compositional Approach to Performance Modelling, vol. 12 of Distinguished Dissertations in Computer Science. Cambridge University Press, 1996. ISBN 0 521 57189 8.
H. Hermanns, Interactive Markov Chains. PhD thesis, Universität Erlangen-Nürnberg, July 1998.
M. Bernardo and R. Gorrieri, “Extended Markovian Process Algebra,” in CONCUR’96, Proceedings of the 7th International Conference on Concurrency Theory (U. Montanari and V. Sassone, eds.), vol. 1119 of Lecture Notes in Computer Science, pp. 315–330, Springer-Verlag, Pisa, August 1996.
R. Pyke “Markov renewal processes with finitely many states,” Annals of Mathematical Statistics, vol. 32, pp. 1243–1259, December 1961.
J. T. Bradley and N. J. Davies, “A matrix-based method for analysing stochastic process algebras,” in ICALP Workshops 2000, Process Algebra and Performance Modelling Workshop (J. D. P. Rolim, ed.), pp. 579–590, University of Waterloo, Ontario, Canada, Carleton Scientific, Geneva, July 2000.
J. Abate and W. Whitt, “The Fourier-series method for inverting transforms of probability distributions,” Queueing Systems, vol. 10, no. 1, pp. 5–88, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bradley, J.T. (2002). A Passage-Time Preserving Equivalence for Semi-Markov Processes. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds) Computer Performance Evaluation: Modelling Techniques and Tools. TOOLS 2002. Lecture Notes in Computer Science, vol 2324. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46029-2_11
Download citation
DOI: https://doi.org/10.1007/3-540-46029-2_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43539-6
Online ISBN: 978-3-540-46029-9
eBook Packages: Springer Book Archive