Voluntary health insurance schemes help those who are not included in social health insurance (1). These are divided into supplementary and selfemployed insurance. Generally, the supplementary health insurance provides health facilities in nongovernmental sectors for the insured, fills the gap in services and commitments of basic health insurance, (2) makes the room for innovation, diversity an...

In order to assist the performance evaluation of complex stochastic models, automatic program tools were developed since a long time. Stochastic Petri nets (SPN) are applied as an effective model description language supported by several analytical and simulation tools. The analytical description and the numerical analysis of non-Markovian stochastic Petri net models gained attention recently. ...

In order to assist the performance evaluation of complex stochastic models, automatic program tools are developed since a long time. An effective model description language, supported by several software tools, is the stochastic Petri Net (SPN). But the attention to the analytical description and the numerical analysis of non-Markovian stochastic Petri Net models arose only recently. There are ...

In order to assist the performance evaluation of complex stochastic models, automatic program tools were developed since a long time. Stochastic Petri Nets (SPN) are applied as an effective model description language supported by several analytical and simulation tools. The analytical description and the numerical analysis of non-Markovian stochastic Petri Net models gained attention recently. ...

1. Matrix perturbation bounds. Given a low-rank matrix we consider what happens to the invariant subspaces when the matrix is perturbed by a small amount. We assume without loss of generality that the matrix under consideration is square and symmetric, and our methods can be extended to the general non-symmetric non-square case. We refer the interested reader to [1, 3] for more details, as the ...

We suppose that we are given a probability space (Ω, E ,P) and consider random variables defined on it taking a finite number of possible values. We use upper case letters to denote such random variables (e.g. X,Y, Z,W . . .) and calligraphic letters (e.g. X ,Y,Z,W . . .) to denote their image sets (of finite cardinality), and lower case letters (e.g. x, y, z, w . . .) to denote one of their po...

The completion time analysis of Markov reward models with partial incremental loss is provided in this paper. The complexity of the model behaviour requires the use of an extra (supplementary) variable.

This paper presents a discrete-time single-server finite buffer N threshold policy queue with renewal input and discreteMarkovian service process. The server terminates service whenever the system becomes empty, and recommencesservice as soon as the number of waiting customers in the queue is N. We obtain the system-length distributionsat pre-arrival and arbitrary epochs using the supplementary...

This paper presents a finite buffer renewal input single working vacation and vacation interruption queue with state dependent services and state dependent vacations, which has a wide range of applications in several areas including manufacturing, wireless communication systems. Service times during busy period, vacation period and vacation times are exponentially distributed and are state depe...