关键词: 车-地通信, 多智能体系统（MAS）, Agent推理, 层次着色Petri网

Abstract: In order to build the distributed general formal description of the high-speed train control system, this paper takes the hybrid modeling method that combines Agent theory with HCPN for the research on the train-to-ground communication scenario in CTCS. The train-to-ground communication scenario is abstracted as MAS. The internal?reasoning process?and the formal definition for the train-to-ground Agents in scenario is given. A?hierarchical structure of HCPN?model is proposed, which visualizes the process of train-to-ground communication, the overall?behavior of MAS and the process of internal reasoning in Agents. The correctness of the model is ensured by analysising the state space report, as well as the feasibility of the model is verified through the multiple simulations on the model which we get how the aperiodic message retransmission interval in the case of different communication failure rates affect the performance of control train in real time during the study scenarios.

Key words: train-to-ground communication, Multi-Agent System（MAS）, agent reasoning, Hierarchical Colored Petri Net（HCPN）