Volume 3, Issue 4, December 2018, Page: 52-64
Scheduling Method Model Research of Mine Hybrid Locomotive Based-on Petri Net
Li Wenhong, Department of Measurement and Control, College of Mechanical and Electrical Engineering, Shandong University of Science and Technology, Qingdao, China
Yan Shichang, Department of Measurement and Control, College of Mechanical and Electrical Engineering, Shandong University of Science and Technology, Qingdao, China
Received: Jan. 2, 2019;       Accepted: Jan. 28, 2019;       Published: Feb. 20, 2019
DOI: 10.11648/j.ajmcm.20180304.11      View  25      Downloads  9
Problems such as low transport efficiency, low safety factor, and difficulty in the dispatching of hybrid locomotives, which are not optimal in the automated transport of coal mines, are always difficult to study. These serious situations are studied and avoided through petri net (PN) analysis techniques in this paper. Firstly, by analyzing the relationship between locomotives, road sections and elements of petri net, petri net scheduling mode is built for locomotives with three different routes according to three different mine locomotive scheduling methods. Then, based on a certain set of resources in PN, the concepts of a deadlock state equation and a potential deadlock state equation are introduced. The deadlock state equation describes the intrinsic relationship between resources assignation and a deadlock state in PN. This equation is a necessary and sufficient condition for the occurrence of a deadlock situation. In the following part, the deadlock equations of several network models are solved, and the deadlock verification is carried out using the software PIPE, which proves the validity of the equations. The results show that the solution of the deadlock equation and the potential deadlock equation can effectively avoid the deadlock of petri net model, so as to prevent the blocking and collision of locomotives. At the same time, the whole modeling process also verifies the effectiveness of petri net for mining bottom locomotive modeling.
Hybrid Locomotive, Scheduling Model, Petri Net, Deadlock State Equation
To cite this article
Li Wenhong, Yan Shichang, Scheduling Method Model Research of Mine Hybrid Locomotive Based-on Petri Net, American Journal of Mathematical and Computer Modelling. Vol. 3, No. 4, 2018, pp. 52-64. doi: 10.11648/j.ajmcm.20180304.11
Copyright © 2018 Authors retain the copyright of this article.
This article is an open access article distributed under the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/) which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Wang Jinfeng. A Research on Production Logistics System of Colliery [D]. Tianjin University, 2005.
Liu Dianjun, Yang Hongrui, Qi Wenhai, Gao Xianwen. Modeling of Dispatching Interlocking Process of Underground Transportation System [J]. Computer science, 2015, 42 (S1): 45-47+78.
Gong Yunfei. Modeling and Analysis of Iron Molten Transport Scheduling of Steel Enterprise Based on Petri Net [D]. Tianjin university, 2016.
Wei Zhenhua. Optimization of Train Operation Dispatching Command System for Jing-ha Railway [D]. Lanzhou jiaotong university, 2016.
Liu, Gaiyun, et al. "Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs." IEEE Transactions on Systems, Man, and Cybernetics: Systems (2018): 1-15.
Fang Huan, Lu Yang, Xu Zijun, Yang Juan. Resource allocation model and deadlock-free optimization scheduling for underground locomotive transportation [J]. Systems Engineering-Theory & Practice.
David (1992) Petri net and grafcet. Prentice-Hall, London.
Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, London.
Zandong H, Lee G. Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems [J]. International Journal of Advanced Manufacturing Technology, 2005, 25 (7-8): 735-742.
Hagalisletto A M, Bjork J, Yu I C, et al. Constructing and refining large-scale raily models represeented by Petri net [J]. IEEE Transactions on System, Man, and Cybernetics, C, Applications and Reviews, 2007, 37, 37 (4): 450-460.
Antonio Diogo Passos Lima, Simulation-Based Planning and Control of Transport Flows in Port Logistic Systems [J]. Mathematical Problems in Engineering, 2015.
Ma Weigang. Research on Key Problems of Reliability of High Speed Train Control System [D]. Xi'an University of Electronic Science and Technology, 2015.
Tang Daoyu, Wang Shaoping. Stochastic Petri Nets Simulation Based on Event Scheduling [J]. Journal of System Simulation, 2004 (03): 551-554+559.
Yang Zhao. Research on the production system of surface mine modeling and optimization method based on process hybrid Petri nets [D].China university of mining and technology (Beijing), 2015.
Cai Wen-xue, Zhong Guan-heng et al. Optimization model and simulation of trailer arrival scheduling based on Petri nets [J]. Journal of South West Jiaotong University, 2015. 50 (5): 898-904.
Anita Gudelj, Danko Kezić, Stjepan Vidačić. Planning and Optimization of AGV Jobs by Petri Net and Genetic Algorithm [J]. Journal of Information and Organizational Sciences, 2012, 36 (2).
Ma Ziyue, Li Zhiwu, Alessandro Giua, “Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators”, Automatica 74 (2016) 238–246.
László Szilágyi. Random Process Simulation Using Petri Nets [J]. MACRo 2015, 2015, 1 (1).
Fendri D, Chaabene M, “Renewable Energy Management based on Timed Hybrid Petri Net Approach for an Isolated Chalet Application,” International journal of renewable energy research (IJRER) Vol. 6, No. 2, 201.
Browse journals by subject