基于Petri网的ECA规则集终止性分析

来源 :北京理工大学学报 | 被引量 : 0次 | 上传用户：pearljeejee

【摘要】

：

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表

【作者】

：

高秀峰胡昌振危胜军

【机构】

：

北京理工大学,北京理工大学

【出处】

：

北京理工大学学报

【发表日期】

：

2005年9期

【关键词】

：

ECA规则 Petri网终止性分析

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.

其他文献

红军挺进师入浙第一胜役——粟裕与斋郎之战

斋郎是庆元县百山祖乡的一个偏远小村，其位于浙江第二高峰百山祖主峰的东侧，是庆元、龙泉、景宁三县（市）交界处。这里高山匝叠，

期刊

挺进师

从科技论文著者群体的年龄分布看我国科技队伍的构成状况

以中国科学引文数据库（CSCD）1995～1999年的数据为样本,统计分析了我国科研队伍年龄分布的历史状况及演变趋势,观察到我国特殊历史时期所形成的“人才双峰结构”在一种非常有节律

期刊

年龄结构科技人才人才政策人才断层论文产出力

我国普通高校体育师资队伍的现状与发展对策研究

运用调查访问法和数理统计法,从整体性、综合性角度,对全国86所普通高校体育师资队伍的年龄结构、职称结构、学历层次结构等方面进行了调查研究,指出我国普通高校体育师资队

期刊

普通高校师资队伍年龄结构职称结构学历结构

恩替卡韦结合益气软肝方对乙肝病毒感染相关性肝硬化的治疗作用探讨

目的探讨恩替卡韦结合益气软肝方对慢性乙型肝炎(乙肝)病毒感染相关性肝硬化的治疗作用。方法 54例乙肝病毒感染相关性肝硬化患者作为观察目标,按照随机数字表法将其分为对照

期刊

慢性乙型肝炎病毒肝硬化益气软肝方恩替卡韦

肾移植患儿生长发育障碍

慢性肾脏疾病的儿童常伴生长发育障碍,对儿童身心发育造成严重影响,肾脏移植是治疗儿童终末期肾病的最有效替代方法,与维持透析相比,儿童肾移植后不仅可以获得长期存活,其生

期刊

儿童肾脏移植终末期肾病生长发育障碍

规范发展农村合作性金融

<正>近年来,我国新型农村合作金融组织尚处于萌芽探索阶段,随着农村信用社"去合作化"改革的不断推进,部分农村地区信贷资金和金融服务供给不足现象日益严重。2015年,中央一号

期刊

合作性金融商业性金融合作性金融组织台湾信用合作社

论五四时期文学翻译选材的嬗变

五四初期崇尚浪漫主义,以译介英国作品为主导；中后期注重对现实主义文学的译介,俄国及弱小国家的文学译介成为时代风尚。译介题材的嬗变趋向主要是受到时代语境的具体诉求与传

期刊

翻译选材浪漫主义文学现实主义文学

浅谈黑龙江省玉米育苗移栽的优点和技术要点

阐述了我省玉米生产现状、玉米育苗移栽的优点、玉米育苗移栽需要解决的关键问题及育苗移栽的技术要点，从而为玉米生产提供依据。

期刊

玉米育苗移栽要点

一种基于AlGaN和石墨烯的紫外-红外双色探测器

通过MOCVD和CVD生长技术,利用高Al组分Al Ga N和单层石墨烯材料进行纵向集成,成功制备了日盲紫外-近红外双色探测器。在工作温度为室温、调制频率为209 Hz以及工作电压分别为

期刊

AlGaN石墨烯紫外-红外双色探测器

高职院校旅游管理专业构建“双主体”育人的实践教学模式

近年来,学校与企业在学生顶岗实习、共建实训室、师资队伍建设等方面进行了广泛的合作,探索出一系列校企合作的有效形式。然而,企业在校企合作过程中依然存在参与积极性不高

期刊

旅游管理实践教学现代学徒制企业制学院混合所有制

基于Petri网的ECA规则集终止性分析

其他学术论文