Approach of Train Group Operation Conflict Prevention Reasoning Based on Fuzzy Time Petri Nets

Avoiding conflicting between large numbers of trains is a key problem to train scheduling services in busy rail network. Verifying train group operation conflict within and between multi-station satisfying time constraints is the basis of the construction and coordination on train schedules and plans. While, for many rail networks, the conflicts of proposed train times, lines, and platforms are checked and resolved difficultly. This paper proposes an approach to construct a sprouting graph of train traffic control system based on fuzzy time Petri nets considering safety conditions called STPNS. The sprouting graph is used to check the consistency of temporal knowledge and perform safety reasoning. The temporal knowledge reasoning method efficiently describes time constraint and safety events happening simultaneously. Applications show the approach has good structure properties and good means in safety analysis model analysis and validation.