10.3969/j.issn.1006-9348.2007.12.027
时间Petri网的ECS-class可达性分析方法
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法.基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法.它不仅正确的计算时间延迟,而且合理地调度事件.并对一个时间Petri网模型进行可达性分析验证.
时间佩特里网、扩展的带时间戳的状态类、分析验证
24
TP391.9(计算技术、计算机技术)
国家计划基金40405010101C
2008-04-09(万方平台首次上网日期,不代表论文的发表时间)
共4页
101-104