摘要
对于ECA(even t-cond ition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.
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.
出处
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2005年第9期773-777,共5页
Transactions of Beijing Institute of Technology
