Tianhua Xu, Tao Tang. The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets. In International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA. pages 83-92, IEEE, 2007. [doi]
Abstract is missing.