煤矿辅助运输调度系统的层次颜色Petri网建模

为实现煤矿井下无轨运输车辆的安全调度，提出一种新型调度策略，以此为框架，利用层次颜色Petri网对调度系统进行建模。通过研究模型的运行过程，对调度策略的安全性、正确性及可重用性进行证明。同时，利用模型的状态空间报告对调度系统基本性能作简单分析。结果表明，该调度系统模型可对车辆运输量、区段使用频度及其时间分布以及车辆运输速度与运输任务产生速度的匹配程度进行分析，在应用过程中可以有效提高车辆运输安全性，避免运输事故，辅助管理者规划运输任务，提高矿井辅助运输效率。

Modeling of Hierarchical Color Petri Net for Coal Mine Auxiliary Transportation Dispatching System

In order to realize the safe dispatch of trolleybuses in coal mines, a new dispatch strategy is proposed, which uses the hierarchical color Petri net as a framework to model the dispatching system. By studying the running process of the model, the security, correctness and reusability of the scheduling strategy are proved. At the same time, the basic performance of the scheduling system is simply analyzed by using the state space report of the model. The results show that the scheduling system can analyze the vehicle transportation volume, frequency of section use and its time distribution, and the degree of matching between vehicle transportation speed and transportation task generation speed, and can effectively improve vehicle transportation safety, avoid transportation accidents, assist managers in planning transportation tasks and improve mine auxiliary transportation efficiency.