Modified Stochastic Petri Net-Based Modeling and Optimization of Emergency Rescue Processes during Coal Mine Accidents

Table 1

Definitions of places and transitions.

	Places		Transitions
P1	Accident occurrence	T1	Reflecting accident information
P2	ER headquarters of coal mine	T2	Reporting the accident to the superior
P3	The provincial government	T3	Issuing rescue command
P4	Emergency control center	T4	Scheduling according to the authority
P5	Experts	T5	Going to the coal mine
P6	Rescue teams and medical teams	T6	Analyzing emergency conditions and making ER plan
P7	Technicians	T7	Allocating resources and organizing team
P8	Implement emergency plan	T8	Starting preparatory work by the communication department
P9	Set up the onsite command team	T9	Starting preparatory work by the rescue teams and medical teams
P10	Communication department	T10	Starting preparatory work by the safety supervision department
P11	Rescue teams and medical teams	T11	Starting preparatory work by the construction team
P12	Safety supervision department	T12	Draining in flooded roadway
P13	Construction team	T13	Exploring information underground
P14	Communications department that finished preparatory work	T14	Finding the location of the trapped miners
P15	The rescue teams and medical teams that finished preparatory work	T15	Reporting to the onsite command team
P16	The safety supervision department that finished preparatory work	T16	Analyzing the difficulty of construction and the state of victims
P17	Construction team that finished preparatory work	T17	Rescuing the trapped miners
P18	Advance of rescue roadway	T18	Adjusting emergency plan and increasing emergency measures
P19	General information	T19	Adding large rescue equipment to join in rescue
P20	Important information	T20	Providing first aid to the victims by rescue teams and medical teams
P21	Information received by the command team
P22	Judgment of accident grade
P23	Greater rescue efforts
P24	Key rescue sections that have been breakthrough
P25	End of ER