Fixed issue when selecting the next transition to be fired in
petrinet.support.Petri.PetriNet