Рассмотрены процедуры синтеза контроле пригодных объектов путем назначения дополнительных точек контроля. Вместо матричного эквивалента граф-модели применена списочная структура, что повышает эффективность использования ресурсов вычислительной машины.