In this chapter, of infinite-state
we focus on the solution
with a finite, but possibly specification. 4 (birth-death
state space, once they have been generated CTMCs
from a high-level
has been discussed in Chapter
Chapter 8 (quasi-birth-death queueing models) and Chapter models) and will be discussed further in Chapter 17. Finite haviour.