A time stamp reduction method for state space exploration using colored Petri nets | Publicación