Approach of Train Group Operation Conflict Prevention Reasoning Based on Fuzzy Time Petri Nets | IEEE Conference Publication | IEEE Xplore