September 27th, 2010

yco

Pathway Logic

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

нашел на нем интересную биологию: Pathway Logic
моделируют сетями Петри трансдукцию сигналов и прочие метаболические графы
  • Current Music
    Vibrasphere - In Control
  • Tags