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

Abstract

Предлагаются имитационные модели, разработанные в системе моделирования Enet Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации аварий.Пропонуються імітаційні моделі, розроблені в системі моделювання E-net Modeling System (EMS) на основі потужного формального апарата Е-мереж, що дозволяють прогнозувати можливі варіанти розвитку технологічних процесів на вугільній шахті, а також виконувати верифікацію планів ліквідації аварій.Simulation models developed on E-net Modeling System (EMS) on the base of powerful formal apparatus E-nets allow predicting possible variants of technological process development of coal mines and perform the verification of the emergency control plans are proposed.