Model checking CSLTA with Deterministic and Stochastic Petri Nets