Termination Property Analysis of ECA Rule Set Based on Petri Nets

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_<sub>invariant. This approach is proved to be effective by a given example.