Диссертационная работа главной своей целью имеет разработку теории рекуррентных функций от графов и разработку методики для эффективного вычисления этих функций. На основе этой методики мы строим алгоритмы для важнейших рекуррентных функций, наиболее часто возникающих при анализе моделей для многочисленных приложений. Целью работы является также демонстрация некоторых важных применений разработанных алгоритмов.