Three-dimension train group operation simulation system based on Petri net with objects | IEEE Conference Publication | IEEE Xplore