In this paper, a single machine's functioning process in a random environment is studied. The machine, which is subject to failures and renewals, executes stochastic jobs, with the lifetime of the machine and the renewal time being random variables with general distributions. Here, we present a novel, purely probabilistic approach to solve the stochastic system that describes the operation of the machine, without relying on Kolmogorov equations. The results are formulated as rigorous mathematical statements, thus offering a significant simplification in the reliability analysis of the considered stochastic system. These results, together with related developments in the literature, illustrate that for a broad family of semi–Markov reliability and queuing systems, purely probabilistic arguments based on renewal and regeneration properties could provide transparent and effective analytical tools. This approach can be applied, among many others, to semi–Markov models in which supplementary variables are also employed, including extensions of classical queuing systems (e.g., M/G/1 models with vacations, retrials, reneging, balking, or feedback) and repairable reliability systems with general lifetime and repair distributions. In conclusion, the proposed methodology provides an efficient probabilistically transparent framework for the transient analysis of semi–Markov systems; as a result, it may serve as a useful alternative or complement to classical analytical techniques with important practical implications in reliability and the queuing theory.
Citation: Revaz Kakubava, Ilia Vonta, Alex Karagrigoriou, Andreas Makrides. Probabilistically-oriented analysis of a job execution in a semi-Markov environment[J]. AIMS Mathematics, 2026, 11(5): 12433-12448. doi: 10.3934/math.2026511
In this paper, a single machine's functioning process in a random environment is studied. The machine, which is subject to failures and renewals, executes stochastic jobs, with the lifetime of the machine and the renewal time being random variables with general distributions. Here, we present a novel, purely probabilistic approach to solve the stochastic system that describes the operation of the machine, without relying on Kolmogorov equations. The results are formulated as rigorous mathematical statements, thus offering a significant simplification in the reliability analysis of the considered stochastic system. These results, together with related developments in the literature, illustrate that for a broad family of semi–Markov reliability and queuing systems, purely probabilistic arguments based on renewal and regeneration properties could provide transparent and effective analytical tools. This approach can be applied, among many others, to semi–Markov models in which supplementary variables are also employed, including extensions of classical queuing systems (e.g., M/G/1 models with vacations, retrials, reneging, balking, or feedback) and repairable reliability systems with general lifetime and repair distributions. In conclusion, the proposed methodology provides an efficient probabilistically transparent framework for the transient analysis of semi–Markov systems; as a result, it may serve as a useful alternative or complement to classical analytical techniques with important practical implications in reliability and the queuing theory.
| [1] |
A. S. Alfa, S. Rao, Supplementary variable technique in stochastic models, Probab. Eng. Inform. Sci., 14 (2000), 203–218. https://doi.org/10.1017/S0269964800142068 doi: 10.1017/S0269964800142068
|
| [2] | R. E. Barlow, F. Proschan, Mathematical theory of reliability, Philadelphia: SIAM, 1996. https://doi.org/10.1137/1.9781611971194 |
| [3] |
D. R. Cox, The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables, Proc. Cambridge Philos. Soc., 51 (1955), 433–441. https://doi.org/10.1017/S0305004100030437 doi: 10.1017/S0305004100030437
|
| [4] |
B. S. Dhillon, O. C. Anude, Common-cause failure analysis of a parallel system with warm standby, Microelectron. Reliab., 33 (1993), 1321–1342. https://doi.org/10.1016/0026-2714(93)90133-J doi: 10.1016/0026-2714(93)90133-J
|
| [5] | S. N. Ethier, T. G. Kurtz, Markov processes: Characterization and convergence, Wiley Series in Probability and Mathematical Statistics, New York: John Wiley & Sons, 1986. |
| [6] |
D. P. Gaver, Time to failure and availability of paralleled systems with repair, IEEE T. Reliab., 12 (1963), 30–38. https://doi.org/10.1109/TR.1963.5218202 doi: 10.1109/TR.1963.5218202
|
| [7] | Urs Graf, Applied Laplace transforms and z-transforms for scientists and engineers, Basel: Birkhäuser Verlag, 2004. https://doi.org/10.1007/978-3-0348-7846-3 |
| [8] | E. J. Gumbel, Statistics of extremes, New York: Columbia University Press, 1958. https://doi.org/10.7312/gumb92958 |
| [9] | G. Gupur, Functional analysis methods for reliability models, Basel: Birkhäuser, 2010. https://doi.org/10.1007/978-3-0348-0101-0 |
| [10] | A. Haji, B. Yunus, Well-posedness of Gaver's parallel system attended by a cold standby unit and a repairman with multiple vacations, J. Appl. Math. Phys., 3 (2015), 821–827. |
| [11] |
R. Kakubava, An alternative transient solution for semi-Markov queuing systems, Georgian Math. J., 28 (2021), 1–15. https://doi.org/10.1515/gmj-2020-2050 doi: 10.1515/gmj-2020-2050
|
| [12] | R. Khurodze, G. Pipia, N. Svanidze, New transient solutions for some semi-Markov reliability models, Bull. Georgian National Acad. Sci., 14 (2020), 14–19. |
| [13] | R. Khurodze, R. Kakubava, N. Svanidze, Gaver's parallel system with repair and redundancy delay, Bull. Georgian National Acad. Sci., 17 (2023), 24–27. |
| [14] |
R. Khurodze, R. Kakubava, M. Kublasvili, T. Saghinadze, Alternative transient and steady state analysis of some Gaver's parallel systems, Int. J. Math. Eng. Manag., 10 (2025), 207–217. https://doi.org/10.33889/IJMEMS.2025.10.1.012 doi: 10.33889/IJMEMS.2025.10.1.012
|
| [15] |
J. P. Mills, Table of the ratio: Area to bounding ordinate, for any portion of normal curve, Biometrika, 18 (1926), 395–400. https://doi.org/10.1093/biomet/18.3-4.395 doi: 10.1093/biomet/18.3-4.395
|
| [16] | W. Li, J. Cao, Stochastic scheduling on an unreliable machine with general up times and general set-up times, J. Syst. Sci. Syst. Eng., 3 (1994), 279–288. |
| [17] | N. Limnios, G. Oprisan, Semi-Markov processes and reliability, Boston: Birkhäuser, 2001. https://doi.org/10.1007/978-1-4612-0161-8 |
| [18] | J. L. Schiff, The Laplace transform: Theory and applications, New York: Springer, 1999. https://doi.org/10.1007/978-0-387-22757-3 |
| [19] | J. F. Steffensen, Some recent researches in the theory of statistics and actuarial science, Cambridge: Cambridge University Press, 1930. |
| [20] |
E. J. Vanderperre, S. S. Makhanov, On Gaver's parallel system sustained by a cold standby unit and attended by two repairmen, Oper. Res. Lett., 30 (2002), 43–48. https://doi.org/10.1016/S0167-6377(02)00106-2 doi: 10.1016/S0167-6377(02)00106-2
|
| [21] |
E. J. Vanderperre, S. S. Makhanov, On the reliability of Gaver's parallel system supervised by a safety unit, Oper. Res. Lett., 46 (2018), 257–261. https://doi.org/10.1016/j.orl.2018.01.009 doi: 10.1016/j.orl.2018.01.009
|
| [22] |
E. J. Vanderperre, S. S. Makhanov, Point availability of Gaver's duplex system supervised by a safety device unit, Oper. Res. Lett., 47 (2019), 417–420. https://doi.org/10.1016/j.orl.2019.06.004 doi: 10.1016/j.orl.2019.06.004
|
| [23] |
E. J. Vanderperre, S. S. Makhanov, On Gaver's parallel system supervised by a safety unit: The global recovery time, Commun. Stat.-Theor. M., 51 (2020), 6935–6946. https://doi.org/10.1080/03610926.2020.1868514 doi: 10.1080/03610926.2020.1868514
|
| [24] | D. Yue, J. Zhu, Y. Qin, C. Li, Gaver's parallel system attended by a cold standby unit and repairman with multiple vacations, Syst. Eng.-Theor. Pract., 26 (2006), 59–68. |
Revaz Kakubava, Ilia Vonta, Alex Karagrigoriou, Andreas Makrides. Probabilistically-oriented analysis of a job execution in a semi-Markov environment[J]. AIMS Mathematics, 2026, 11(5): 12433-12448. doi: 10.3934/math.2026511
DownLoad: