Алгебраический подход к переписыванию графов основан на теории категории.
С точки зрения подхода DPO правило переписывания графа это пара морфизмов в категории графов и гомоморфизмы графа между ними.
Другим подходом к переписыванию графов является переписывание абстрактного семантического графа (АСГ), который предполагает обработку или преобразование АСГ посредством набора синтаксических правил переписывания.
OpenCog предоставляет базовую поддержку сопоставления с образцом (на основе гиперграфов), которая используется для реализации различных алгоритмов ИИ.
Инструменты для решения задач разработки программного обеспечения (в основном в рамках архитектуры, управляемой моделью (MDA)) с использованием переписывания графов:
EMorF система переписывания графов основанная на EMF и поддерживающая преобразования на месте и преобразования модель-модель.
PROGRES (PROgrammed Graph REwriting Systems), интегрированная среда и очень высокоуровневый язык для программируемых систем переписывания графов.
ps1
https://ru.wikipedia.org/wiki/PERT
https://ru.wikipedia.org/wiki/Сеть_Петри
http://bourabai.ru/cm/petri_nets.htm
https://ru.wikipedia.org/wiki/Диаграмма_Ганта
https://ru.wikipedia.org/wiki/Переписывание_графов
https://ru.wikibrief.org/wiki/Graph_rewriting
https://en.wikipedia.org/wiki/Greedoid
https://en.wikipedia.org/wiki/Factor_graph
https://en.wikipedia.org/wiki/Hypergraph
всё это разновидности этого
https://ru.wikipedia.org/wiki/Конечный_автомат
https://ru.wikipedia.org/wiki/Нормальный_алгоритм
и это всё разновидности систем переписывания.