Rational Processes Related to Communicating Markov Processes

Journal of Applied Probability - Tập 49 Số 1 - Trang 40-59 - 2012
Peter Buchholz1, Miklós Telek2
1Universität Dortmund
2Budapest Univ. of Technology & Economics

Tóm tắt

We define a class of stochastic processes, denoted as marked rational arrival processes (MRAPs), which is an extension of matrix exponential distributions and rational arrival processes. Continuous-time Markov processes with labeled transitions are a subclass of this more general model class. New equivalence relations between processes are defined, and it is shown that these equivalence relations are natural extensions of strong and weak lumpability and the corresponding bisimulation relations that have been defined for Markov processes. If a general rational process is equivalent to a Markov process, it can be used in numerical analysis techniques instead of the Markov process. This observation allows one to apply MRAPs like Markov processes and since the new equivalence relations are more general than lumpability and bisimulation, it is sometimes possible to find smaller representations of given processes. Finally, we show that the equivalence is preserved by the composition of MRAPs and can therefore be exploited in compositional modeling.

Từ khóa


Tài liệu tham khảo

10.1016/S0304-3975(97)00056-X

Stewart, 1994, Introduction to the Numerical Solution of Markov Chains

10.1007/BFb0017309

10.2307/3213143

Lipsky, 2008, Queueing Theory

Kemeny, 1976, Finite Markov Chains

10.1007/BF01189232

10.1239/aap/1175266478

10.1081/STM-200056227

10.1016/j.peva.2010.08.023

10.1016/S0304-4149(97)00109-9

10.2307/3215235

10.1080/15326349.2010.498311

10.1016/S0167-6377(00)00062-6

10.1016/j.tcs.2007.11.018

10.1016/0304-4149(93)90063-A

[10] Buchholz P. and Telek M. (2011). On minimal representations of rational arrival processes. Ann. Operat. Res. 24 pp.

Asmussen, 1997, Encyclopedia of Statistical Sciences, 435

10.1016/j.peva.2007.06.001

10.1016/S0304-4149(99)00006-X

10.1007/978-1-4615-2241-6_12

10.1007/3-540-45804-2

10.1016/j.peva.2004.12.002

10.1007/978-3-642-02205-0_13

10.1016/S0377-0427(00)00341-1

10.1007/978-1-4615-2241-6_13