Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions

The radio block center (RBC) is one of the most essential ground systems in a high-speed train control system both in Europe and in China. The RBC handover procedure is an important function of RBC, which affects the transport efficiency, reliability and safety of railways. Analysis of crucial states in the RBC handover procedure is helpful to determine whether there are potential risks in the pro...