Performance

Cache transition path in transition constructor.
Split Transition into Transition and Completion classes.
Transition and competion classes add themselves to source vertex.