Application Research of Petri Nets in Active Database Modeling

摘要

The active functions of aDBS (active Database System) are currently achieved by ECA rule system. But it is difficult for ECA rules system to be analyzed and validated. And there is no perfect model today. Based on the Petri Net, this paper, on basis of Petri net theory, makes modeling research on ECA rules, establishes basic Petri net model; meanwhile makes special research that how to use Petri net express compound event ECA rules; put forward extended Petri net system, and considers its feature of ECA rules in general, reflects system feature of ECA rules in all aspects. Through forming reachability tree and transition sequence, it can understand ECA rules system and its action feature clearly, is convenient to make rationality verification on rules system, so as to help system administrator to make analysis and management on it. As a matter of course, This paper makes analysis on simple system action of ECA rules, it still need further research how to use Petri net technology to make analysis on system action of rules, like terminability and parallelism.