| 基于Petri网的ECA规则集终止性分析 |
| |
| 引用本文： | 高秀峰,胡昌振,危胜军.基于Petri网的ECA规则集终止性分析[J].北京理工大学学报,2005,25(9):773-777. |
| |
| 作者姓名： | 高秀峰 胡昌振 危胜军 |
| |
| 作者单位： | 北京理工大学,机电工程学院,北京,100081;军械工程学院,河北,石家庄,050003;北京理工大学,机电工程学院,北京,100081 |
| |
| 摘 要： | 对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.
|
| 关 键 词： | ECA规则 Petri网 终止性分析 |
| 文章编号： | 1001-0645(2005)09-0773-05 |
| 收稿时间： | 09 22 2004 12:00AM |
| 修稿时间： | 2004年9月22日 |
Termination Property Analysis of ECA Rule Set Based on Petri Nets |
| |
| GAO Xiu-feng,HU Chang-zhen and WEI Sheng-jun.Termination Property Analysis of ECA Rule Set Based on Petri Nets[J].Journal of Beijing Institute of Technology(Natural Science Edition),2005,25(9):773-777. |
| |
| Authors: | GAO Xiu-feng HU Chang-zhen and WEI Sheng-jun |
| |
| Institution: | 1. School of Mechatronics Engineering, Beijing Insititute of Technology, Beijing 100081, China 2. Ordance Engineering College, Shijiazhuang, Hebei 050003, China |
| |
| Abstract: | The behaviour of ECA(event-condition-action) rule set is complicated and it is difficult to analyze its termination property. Based on the theory of Petri nets, an extended Petri nets is proposed. With the extended Petri nets, a new model of ECA rule set is established, and it can better express the behaviour of ECA rules. With the help of the Petri nets analysis methods, the behavior of ECA rule set can be analyzed thoroughly. The temination property of ECA rule set can be analyzed by using reachability graph and T__invariant. This approach is proved to be effective by a given example. |
| |
| Keywords: | ECA rule Petri nets termination property analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京理工大学学报》浏览原始摘要信息 |
| 点击此处可从《北京理工大学学报》下载免费的PDF全文 |
|
