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

摘要

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