Система взаимосвязанных графов и моделирование дискретных процессов

Рассматривается маркированная система взаимосвязанных графов (СГ) - модель, допускающая в явном виде описание таких свойств процесса, как блочность, параллелизм и иерархичность. Показывается, что по вычислению функций и представлению языков эта модель не уступает машинам Тьюринга. Показано, что такими же возможностями обладают СГ, графами которых служат обыкновенные (и даже автоматные) сети Петри.