Efficient discrete-event simulation of colored Petri nets