The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets | IEEE Conference Publication | IEEE Xplore