Типовые модули для синтеза моделей технико-организационных вариантов работы очистного забоя

摘要

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