product simpleDTMC