• 朱爱红:基于UML和CPN的列控系统等级转换建模与分析论文

    朱爱红:基于UML和CPN的列控系统等级转换建模与分析论文

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