|
|
计算机应用研究 2012
Route interlocking and dispatching modeling based on CPN and analysis
|
Abstract:
This paper presented an algorithm model of route interlocking and dispatching based on colored Petri netCPN. 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.
