Синтез и минимизация простейших систем взаимосвязанных графов

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