Выбор ПО для работы с графами

[AlexeyQ]

Добрый день!
Возник практический вопрос по синтаксису dot.
Каким образом можно задавать вершины с разным адресом, но одинаковой информацией?
Например, граф выражения $2+2\cdot3$.
Если задать его как

<. . .>
"+" -> "2"
"+" -> "*"
"*" -> "2"
"*" -> "3"
<. . .>

, то, очевидно, он будет отображаться неверно (вершины "2" будут считаться одной и той же).
Можно в описании вершины писать также и ее адрес (например, адрес переменной в памяти).
Но тогда он будет отображаться и на изображении, что не всегда удобно.
Как это можно решить?
Спасибо.

[Xaositect]

  node1 [label="+"];
  node2 [label="*"];
  leaf1 [label="2"];
  leaf2 [label="2"];
  leaf3 [label="3"];

  node1 -> leaf1;
  node1 -> node2;
  node2 -> leaf2;
  node2 -> leaf3;