Keywords :
Cascade decomposition, lumpability, Markov systems, separability, state splitting, whirl decomposition.; Automata; Mathematics; Matrix decomposition; Military computing; Stochastic systems; Cascade decomposition, lumpability, Markov systems, separability, state splitting, whirl decomposition.;