计算机应用与软件2020，Vol.37Issue(6)：119-125,7.DOI:10.3969/j.issn.1000-386x.2020.06.022
基于活动图和HTCPN的列控系统等级转换建模分析
MODELING AND ANALYSIS OF LEVEL CONVERSION IN THE TRAIN CONTROL SYSTEM BASED ON ACTIVITY DIAGRAM AND HTCPN
摘要
关键词
等级转换场景/UML/建模/HTCPN/模型验证分类
信息技术与安全科学引用本文复制引用
周游,何涛..基于活动图和HTCPN的列控系统等级转换建模分析[J].计算机应用与软件,2020,37(6):119-125,7.基金项目
甘肃省工业交通自动化工程技术研究中心2019 年开放基金项目(GSITA201902). （GSITA201902）
