Abstract
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 EGA 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 termination property of EGA rule set can be analyzed by using reachability graph and T_invariant. This approach is proved to be effective by a given example.
| Original language | English |
|---|---|
| Pages (from-to) | 773-777 |
| Number of pages | 5 |
| Journal | Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology |
| Volume | 25 |
| Issue number | 9 |
| Publication status | Published - Sept 2005 |
Keywords
- ECA rule
- Petri nets
- Termination property analysis