adds transition names to edges

I found the graph easier to read with labeled edges.