联锁软件的Petri网模型化

• 作者: 何梅芳 杨扬 王晓明 肖蒙
• 来源期刊: 兰州铁道学院学报
• 学科: 交通运输
• 关键词: 铁路信号 计算机联锁 Petri网 安全_关键系统 安全性
• 年，卷（期）: 2002,（1）
• 页码范围: 1-6
• 页数: 6页
• 分类号: U284
• 字数: 3546字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4373.2002.01.001

摘要

铁路信号计算机联锁系统是一个安全-关键 系统.运用Petri网模型化了该系统中的软件部分，包括上位机、联锁机和采集/驱动部分.该 模型将有助于检测系统定义的一致性、完整性和精确性，有助于提高系统的安全性和实时性能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨扬		4	65	3.0	4.0
2	何梅芳		5	91	4.0	5.0
3	王晓明	兰州铁道学院信息与电气工程学院	7	28	2.0	5.0
4	肖蒙	兰州铁道学院信息与电气工程学院	1	12	1.0	1.0