Возможно ли и практично для Mathematica нарисовать что-то подобное (создается Graphviz):
Это лучшее, что я могу получить (но форма и стиль не удовлетворяют):
Код:
GraphPlot[{{A -> C, "go"}, {C -> B, "gone"}, {C -> D,
"went"}, {C -> C, "loop"}}, VertexLabeling -> True,
DirectedEdges -> True]