计算机应用研究2019年01期论文

本文主要研究内容作者朱爱红,宋丽梅（2019）在《基于UML和CPN的列控系统等级转换建模与分析》一文中研究指出：针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运...