Pathway Logic

есть такая term rewriting система Maude, давно на нее заглядывался
это логический фреймворк, может выводить различные выражения из набора уравнений и правил перезаписи

нашел на нем интересную биологию: Pathway Logic
моделируют сетями Петри трансдукцию сигналов и прочие метаболические графы