| |
Казимир, В. В.
Модели верификации планов ликвидации аварий на угольных шахтах [Текст] / В. В. Казимир, А. А. Серая
// Математичні машини і системи. – 2012. – № 1. – С. 129-138.
Предлагаются имитационные модели, разработанные в системе моделирования E-net Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации аварий. |
