Daohua Wu, Debiao Lu, Tao Tang 0004. Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets. IEEE Transactions on Intelligent Transportation Systems, 23(8):10223-10238, 2022. [doi]
Abstract is missing.