Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness (Logical Methods in Computer Science, 2007)