基于Petri网的ECA规则建模

作     者：宋丽 艾迪明 SONG Li;AI Diming

作者机构：军械工程学院管理工程系石家庄050003 军械工程学院军械技术研究所石家庄050003 

出 版 物：《北京科技大学学报》 (Journal of University of Science and Technology Beijing)

年 卷 期：2007年第29卷第10期

页      面：1064-1068页

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：Petri网 ECA规则 复合事件 

摘      要：在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型.对如何用Petri网表示具有复合事件ECA规则进行了专门分析.提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性.通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.