A Novel Train Traffic Control Method Based on Time Petri Nets and Immune Quantum Optimization Algorithm | IEEE Conference Publication | IEEE Xplore