行车安全综合监控系统的时序Petri网描述及验证

• 作者: 刘春煌 曹松 杜彦华
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 行车安全综合监控系统 时序Petri网 正确性验证
• 年，卷（期）: 2005,（4）
• 页码范围: 11-15
• 页数: 5页
• 分类号: TP182|U29
• 字数: 4569字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2005.04.003

摘要

行车安全综合监控系统规模大,复杂程度高,且具有不确定性.研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义.本文基于时序Petri网,提出了相应的分析和验证方法.然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘春煌	铁道科学研究院电子计算技术研究所	32	604	12.0	24.0
2	曹松	铁道科学研究院电子计算技术研究所	3	29	2.0	3.0
3	杜彦华	铁道科学研究院电子计算技术研究所	6	60	5.0	6.0