| 时间Petri网的ECS-class可达性分析方法 |
| |
| 引用本文： | 张姝,江金龙.时间Petri网的ECS-class可达性分析方法[J].计算机仿真,2007,24(12):101-104. |
| |
| 作者姓名： | 张姝 江金龙 |
| |
| 作者单位： | 1. 北京联合大学信息学院,北京,100101
2. 中国兵器装备研究院,北京,100089 |
| |
| 摘 要： | 时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法.基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法.它不仅正确的计算时间延迟,而且合理地调度事件.并对一个时间Petri网模型进行可达性分析验证.
|
| 关 键 词： | 时间佩特里网 扩展的带时间戳的状态类 分析验证 带时间戳的状态类 Petri Nets 可达性 分析验证 方法 Time Based Analysis 调度事件 正确计算 扩展 事件调度 处理冲突 时间延迟 情况 基本分析 网模型 描述和验证 时间特性 实时系统 |
| 文章编号： | 1006-9348（2007）12-0101-04 |
| 收稿时间： | 2007-03-16 |
| 修稿时间： | 2007-05-12 |
Reachability Analysis Based on ECS-class of Time Petri Nets |
| |
| ZHANG Shu,JIANG Jin-long.Reachability Analysis Based on ECS-class of Time Petri Nets[J].Computer Simulation,2007,24(12):101-104. |
| |
| Authors: | ZHANG Shu JIANG Jin-long |
| |
| Abstract: | Time Petri nets represent a popular Petri net model for specification and verification of real-time systems.A fundanmental and most widely applied method for analyzing Petri nets is reachability analysis.ECS-class reachability analysis is presented to integrated the State-class which can't compute time delay in the instance of concurrency with the CS-class which can't schedule the event in the instance of choice.Finally a Petri net model is analyzed and validated. |
| |
| Keywords: | Time Petri nets ECS Analysis and verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
