Optimization and Modeling of High-speed Flying Train Communication System Based on Colored Petri Nets | IEEE Conference Publication | IEEE Xplore