Research on Operation Conflict of Auxiliary Transport Locomotive in Complex Mine Based on Extended Petri Net

Aiming at the operation conflict problem of multi-objective, multi-path and multi-vehicle relay during mine locomotive operation under complex geological conditions, a mine operation of locomotive modeling method based on an object-oriented stratified timed Petri net is proposed. In order to load and transport materials as object oriented, which are combined with the mine operation of locomotive rules and time constraints, stratified modeling of an underground roadway route is carried out. In addition, given token time parameters to describe the dynamic behavior of the locomotive, through the model to analyze the operation of a mine transport locomotive, the correlation matrix and accessibility tree analysis are used to study the conflict. Taking the actual operation of a locomotive in a complex mine in Guizhou as an example, the operation of locomotive behavior model was established to detect the interval and time of operation conflicts. The experimental results show that the proposed operation of locomotive modeling and conflict analysis method are effective and feasible, and have important application value to the safe operation of a mine production system.