State Space Abstractions for Time Petri Nets