Explosion of a continuous-time Markov chain (source code)

= Explosion of a continuous-time Markov chain

Explosion occurs when infinitely many jumps take place in finite time.

Explosion is determined by whether the successive holding times of the <continuous-time Markov chain> have a finite sum.