On the Computational Power of Timed Differentiable Petri Nets -- Model-Checking Timed