基于Petri网的ECA规则建模  

ECA rule system model based on Petri nets

作　　者：宋丽[1] 艾迪明[2] 

机构地区：[1]军械工程学院管理工程系,石家庄050003 [2]军械工程学院军械技术研究所,石家庄050003

出　　处：《北京科技大学学报》2007年第10期1064-1068,共5页Journal of University of Science and Technology Beijing

基　　金：国家自然科学基金资助项目(No60375038)

摘　　要：在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.

关 键 词：PETRI网 ECA规则 复合事件 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]