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

摘要：

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

关键词：行车安全综合监控系统、时序Petri网、正确性验证

所属期刊栏目：27

分类号：TP182;U29(自动化基础理论)

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：11-15