基于CPN的进路式联锁调度建模及其分析  

Route interlocking and dispatching modeling based on CPN and analysis

作　　者：李国强[1] 林果园[1] 马栋[1] 

机构地区：[1]中国矿业大学计算机科学与技术学院,江苏徐州221116

出　　处：《计算机应用研究》2012年第7期2575-2578,共4页Application Research of Computers

基　　金：中国矿业大学青年科技基金资助项目(2011QNB23)

摘　　要：提出一种基于有色Petri网(CPN)的进路式联锁调度算法模型,其中包括对联锁调度过程中机车的任务内正常行驶、进路联锁运算、机车驶离任务路线、闯入未开放进路、故障处理恢复等情况建立了清晰的模型。并利用CPN Tools对模型进行仿真验证与分析,结果表明该联锁调度CPN模型正确模拟了井底机车运输调度,对于机车调度是安全可靠的。This paper presented an algorithm model of route interlocking and dispatching based on colored Petri net（CPN）.It built a clear model for the process of interlocking and dispatching,such as locomotive running,interlocking operation,moving into an error section out of task,intruding into an unopened route,solving the fault and so on.Then it verified and analyzed the simulation model by CPN Tools.The result shows the CPN model of interlocking and dispatching correctly simulates locomotive transportation dispatching and is safe and reliable for the locomotive dispatching.

关 键 词：联锁调度 有色PETRI网 运输监控 锁闭 联锁运算 CPNTools 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]