A more efficient time Petri net state space abstraction preserving linear properties | IEEE Conference Publication | IEEE Xplore