fixes non-deterministic selection of enabled transitions