计算机应用研究2019，Vol.36Issue(1)：140-143,162,5.DOI:10.19734/j.issn.1001-3695.2017.07.0670
基于UML和CPN的列控系统等级转换建模与分析
Modeling and formal analysis of level transition in train control system based on UML and CPN
摘要
关键词
中国列车控制系统/等级转换/统一建模语言/有色Petri网/建模分类
信息技术与安全科学引用本文复制引用
朱爱红,宋丽梅..基于UML和CPN的列控系统等级转换建模与分析[J].计算机应用研究,2019,36(1):140-143,162,5.基金项目
国家自然科学基金资助项目(61661027) （61661027）
