Research on Mine Locomotive Scheduling Model and Deadlock Based on Petri Net

DOI

10.2991/masta-19.2019.49How to use a DOI?

Keywords

Underground locomotive dispatching, Petri Net, Potential deadlock state equation, Deadlock state equation

Abstract

In order to improve the efficiency of coal mine locomotive locomotive dispatching and avert locomotive collision and clogging, a time-dependent petri net model was established according to the characteristics of underground locomotive dispatching. And the concepts of deadlock state and potential deadlock state are introduced. The deadlock state corresponds to the deadlock state equation, which is the reflection of the running state and resource status of a petri net. Then, the deadlock state equation is solved for each model. Meanwhile, PIPE is used to verify the results obtained, and the results prove the availability of the deadlock state equation for petri net deadlock state description. The whole experimental process and algorithm results show that the deadlock state equation can effectively simulate the deadlock state of the model, and prevent the generation of deadlock state of the model according to the potential deadlock state equation, so as to avoid the collision of locomotives and achieve efficient scheduling.

Copyright

© 2019, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Wen-hong Li
AU  - Shi-chang Yan
PY  - 2019/07
DA  - 2019/07
TI  - Research on Mine Locomotive Scheduling Model and Deadlock Based on Petri Net
BT  - Proceedings of the 2019 International Conference on Modeling, Analysis, Simulation Technologies and Applications (MASTA 2019)
PB  - Atlantis Press
SP  - 293
EP  - 299
SN  - 1951-6851
UR  - https://doi.org/10.2991/masta-19.2019.49
DO  - 10.2991/masta-19.2019.49
ID  - Li2019/07
ER  -