Time Train Operation System Of The Hybrid Petri Net-based Reasoning

Train operating system is a typical kind of hybrid systems, which is the core part of Railway Intelligent Transportation System (RITS). How to build the model is the key problem in the research of RITS. It is also a strongly real-time reactive system. The dynamic behavior of the system is closely related to discrete events, and the temporal reasoning of key events is an important part of the system.To quantitatively analysis the temporal reasoning of key events in train operation system, the paper introduces the method of algebra system into Hybrid Petri Net Model. This method can dynamically identify the time interval in which time a key event might happen. Compared with existing methods of temporal reasoning in Petri nets, this method has some outstanding characteristics such as accurate analysis about time interval, handle the dynamic changes of system state, adapt to real-time systems, and support continuous control system. Key events likely arouse the process of train speed adjustment. We design two experiments for verifying the advantage of the method while trains are tracking others. As experimental result show that the dynamic time interval reflect the interaction between train's running status and other complex factors, which has a great significance in detecting and monitoring the emergencies of train's running process.This paper proposes a method of temporal reasoning based on hybrid Petri nets for analyzing the process of key events and monitoring the real-time change. The method can be effectively used on researching aspects such as train speed-adjustment, train tracking, emergencies and so on.