关键词: 综合交通枢纽, 综合调度, 乘客换乘, 形式化建模

Abstract: Through the comprehensive dispatch of multi-standard rail transit in the station, the comfortable transfer experience of passengers can be improved. To address the multi-standard rail transit comprehensive scheduling problem, this paper uses Petri net as a tool to simulate and establish the basic models of various rail transit modes and mutual transfer channels in the station hub. Furthermore, an overall model is established based on the logical relationships between them. The respective operation plans of multi-standard rail transit are input into the model before being intelligently optimized and improved by the model to provide passengers with a comfortable journey experience.

Key words: comprehensive transportation hub, comprehensive dispatch, passenger transfer, formal modeling