Модели верификации планов ликвидации аварий на угольных шахтах

Abstract

Предлагаются имитационные модели, разработанные в системе моделирования E- net Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации аварий.