Proceedings of the 2019 International Conference on Modeling, Analysis, Simulation Technologies and Applications (MASTA 2019)

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

Authors
Wen-hong Li, Shi-chang Yan
Corresponding Author
Shi-chang Yan
Available Online July 2019.
DOI
https://doi.org/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)

Volume Title
Proceedings of the 2019 International Conference on Modeling, Analysis, Simulation Technologies and Applications (MASTA 2019)
Series
Advances in Intelligent Systems Research
Publication Date
July 2019
ISBN
978-94-6252-761-4
ISSN
1951-6851
DOI
https://doi.org/10.2991/masta-19.2019.49How to use a DOI?
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/).

Cite this article

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  - https://doi.org/10.2991/masta-19.2019.49
ID  - Li2019/07
ER  -