Produits semi-directs de processus de Markov, Chaînes semi-markoviennes et P-processus