基于Petri网的ECA规则集终止性分析

对于ECA（event-condition-action）规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.