Mouse-over a Petri net transition to highlight the corresponding automaton edges.