Study on emergency disposal processes of urban rail transit with Fully Automatic Operation system based on time Petri net | IEEE Conference Publication | IEEE Xplore