Conditioned on a finite jump path , the holding times are independent exponentials with the corresponding rates. Multiplying the probability of occupying at time by turns its simplex density into a product symmetric under reversal of the time portions and the state sequence.
Codex Wiki