Компонента визуализации сетей взаимодействия

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

• Сформировать требования к средству визуализации сетей взаимодействия.
• Изучить и сравнить (в контексте решаемой задачи) инструменты визуализации, такие как
  • https://mermaid.js.org/
  • https://graphviz.org/
  • https://www.yworks.com/products/yed
• Реализовать компоненту визуализации сетей взаимодействия.