Structured Arc Reversal and Simulation of Dynamic Probabilistic Networks