Text this: Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness