主动规则执行终止性分析算法的修正

指出基于触发图和活化图主动规则终止性分析算法的，错误，提出触发可达和触发可达集，并在此基础上对原算法进行修正。