欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型.对如何用Petri网表示具有复合事件ECA规则进行了专门分析.提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性.通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.
英文摘要：
Based on the Petri net theory, ECA rules was researched and a basic Petri net model was established. Special research was made on how to use a Petri net to express compound event ECA rules, and an extended Petri net system was put forward. Considering the feature of ECA rules in general, the Petri net model based on an ECA rule system reflects the system feature of ECA rules in all aspects. Through forming the reachability tree and transition sequence, the ECA rule system and its action feature can be understood clearly, and rationality verification on the rule system is convenient to make and to help a system administrator to analyze and manage it.
同期刊论文项目
同项目期刊论文
期刊信息
位置：