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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.