文献类型：期刊文献

中文题名：时间Petri网的ECS-class可达性分析方法

英文题名：Reachability Analysis Based on ECS-class of Time Petri Nets

作者：张姝[1];江金龙[2]

第一作者：张姝

机构：[1]北京联合大学信息学院;[2]中国兵器装备研究院

第一机构：北京联合大学智慧城市学院

年份：2007

卷号：24

期号：12

起止页码：101-104

中文期刊名：计算机仿真

外文期刊名：Computer Simulation

收录：CSTPCD;;CSCD:【CSCD_E2011_2012】；

基金：国家"十五"计划基金资助项目(40405010101C)

语种：中文

中文关键词：时间佩特里网;扩展的带时间戳的状态类;分析验证

外文关键词：Time Petri nets;ECS;Analysis and verification

摘要：时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法。基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法。它不仅正确的计算时间延迟,而且合理地调度事件。并对一个时间Petri网模型进行可达性分析验证。
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.