Du Yanhua, Ai Lifeng, Liu Chunhuang. Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets. In Xiaohua Hu, Qing Liu, Andrzej Skowron, Tsau Young Lin, Ronald R. Yager, Bo Zhang, editors, 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005. pages 427-430, IEEE, 2005. [doi]
Abstract is missing.