A characterization for mixtures of semi-Markov processes