Xiaoli She, Jiyuan Zhao, Jian Yang. Functional safety verification on railway signaling system with Colored Petri Nets. In 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014. pages 2713-2717, IEEE, 2014. [doi]
Abstract is missing.