基于UML建模的计算机联锁进路模块Petri网验证

• 作者: 杨扬 薛丰 谢林
• 来源期刊: 铁路计算机应用
• 学科: 交通运输
• 关键词: 车站联锁 UML Petri网 建模
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 研究与开发
• 页码范围: 10-14
• 页数: 5页
• 分类号: U284.3|TP39
• 字数: 3717字
• 语种: 中文

摘要

对于铁路车站计算机联锁软件中的重要部分之一的进路模块,使用UML对其进行建模.针对UML没有精确语义、缺少模型分析和验证手段不足的缺点,利用具有严格理论分析方法的Petri网对模型进行形式化验证,保证模型的精确性和安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨扬	西南交通大学信息科学与技术学院	55	310	10.0	15.0
2	谢林	西南交通大学信息科学与技术学院	6	26	4.0	5.0
3	薛丰	西南交通大学信息科学与技术学院	1	5	1.0	1.0