| 基于Petri网的ECA规则建模 |
| |
| 引用本文： | 宋丽,艾迪明. 基于Petri网的ECA规则建模[J]. 北京科技大学学报, 2007, 29(10): 1064-1068 |
| |
| 作者姓名： | 宋丽 艾迪明 |
| |
| 作者单位： | 1. 军械工程学院管理工程系,石家庄,050003
2. 军械工程学院军械技术研究所,石家庄,050003 |
| |
| 摘 要： | 在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.
|
| 关 键 词： | Petri网 ECA规则 复合事件 Petri nets 规则系统 建模研究 based model system 系统管理员 验证 合理性 行为特性 序列 变迁 可达树 系统特性 比较 综合 网系统 扩展 分析 专门 |
| 修稿时间： | 2006-06-19 |
ECA rule system model based on Petri nets |
| |
| SONG Li,AI Diming. ECA rule system model based on Petri nets[J]. Journal of University of Science and Technology Beijing, 2007, 29(10): 1064-1068 |
| |
| Authors: | SONG Li AI Diming |
| |
| Affiliation: | 1. Department of Management Engineering, Ordnance Engineering College, Shijiazhuang 050003, China;2. Ordnance Technology Institute, Ordnance Engineering College, Shijiazhuang 050003, China |
| |
| Abstract: | 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. |
| |
| Keywords: | Petri net ECA rule compound event |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
