Compositional reversed Markov processes, with applications to G-networks · Study