Рассмотрены графы дискретных многоуровневых моделей. Установлены достаточные условия непротиворечивости операций в многоуровневых иерархических графовых моделях. Теоретические результаты использованы для проверки ...