中国列车控制系统论文

基于UML和CPN的列控系统等级转换建模与分析
论文摘要针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML（统一建模语言）模型和有色Petri网（CPN）模型,分...