%0 Journal Article
%T 基于Petri网的ECA规则集终止性分析
%A 高秀峰
%A 胡昌振
%A 危胜军
%J 北京理工大学学报
%D 2005
%X 对于ECA（event-condition-action）规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.
%K ECA规则
%K Petri网
%K 终止性分析
%U http://journal.bit.edu.cn/zr/ch/reader/view_abstract.aspx?file_no=20050906&flag=1