Conflict Analysis Of Train Operation System Based On A Class Of Hybrid Petri Nets

Railway transportation is a kind of important transportation mode, the train operation system is the core of railway transportation. The research difficulty of the train operation system is description and analysis of the continuous variables and the discrete event, and it is also difficult to describe and analyze the related conflict through the whole trip.Aimed at solving the related problem of the analysis for the hybrid attribute and conflict in the train operation system, this paper provides a class of hybrid Petri nets, which combine other hybrid Petri nets and fuzzy-timing Petri nets. It not only can describe and analyze the hybrid attributes reasonably, but also can solve the related conflicts. The train running in orbit is analyzed by using the hybrid Petri nets. The model can describe the continuous variables of the running train. It can control the continuous variables to vary by some discrete operation and adjust the velocity of the train in real time to ensure the train running efficiently. The collision with the other trains can be avoided, and the train can be ensured to run according to the plan. So the train will be running efficiently and safely. The research of scheduling problem for the train is modeled based on the fuzzy-timing Petri nets. It can calculate the probability of the collision in the different routes through the analysis of the uncertain time, which include the fuzzy time interval with possibility and fuzzy temporal knowledge reasoning. Then the train can choose the route in which the probability of the collision is smaller to reduce the times of the conflict.The application examples are designed for single train, two trains and more based on the hybrid Petri nets model. The results showed that the model can improve the safety and efficiency, detect and solve the conflict between the trains on one lane or on different lanes. The analysis of the conflict can help solve routes choice.The model and analysis based on the hybrid Petri nets can control changes of the train speeds reasonably, ensure the safety and efficiency of the train running, analyze the uncertain time factor of the train operation, and provide the reasonable solution for the route choice.