Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches