Визуализация процесса редукции сетей взаимодейстаия

Сети взаимодействия (Interaction Nets) — модель вычислений, основанная на переписывании графов. Она была предложена Лафонтом в одноимённой работе Interaction nets. На кафедре ведётся разработка вычислителя на основе сетей взаимодействия и для удобства работы с ним нужны средства визуализации самих сетей. Хотя сеть и является графом, она обладает специфичным синтаксисом (соглашения о начертании вершин, рёбер), с примерами которого можно ознакомиться, например, тут или тут. Дополнительно, необходимо учитывать, что интерес представляет не только статическая визуализация, но и визуализация процесса редукции, который и предлагается визуализировать в первую очередь. Для вдохновения можно посмотреть на Gource — утилиту, позволяющую визуализировать историю развития репозитория с кодом в виде фильма. В её основе лежит библиотека для работы с графикой.