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

摘要

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