Research on Process of Coal Mine Emergency Plan Based on Stochastic Petri Net

Analytical modeling plays a crucial role in the analysis and design of computer systems. In order to improve the efficiency of coal mine emergency rescue systems and correlate the coal mine emergency plan with emergency rescue closely, it´s necessary to deeply analyze the process of emergency rescue and systematic modeling. As Stochastic Petri Net represents a powerful paradigm, widely used for such modeling in the context of dependability, performance and performs ability, this article has established SPN-based models for the process of coal mine emergency rescue and analyzed the system performance quantitatively. Finally the methods of improving the efficiency of coal mine emergency rescue have been discussed.