主动数据库规则集的Petri网建模

摘要：

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.

关键词：Petri网、主动数据库、事件-条件-动作、规则集合、系统建模

所属期刊栏目：29

分类号：TP311.13(计算技术、计算机技术)

资助基金：湖南省科技计划06FJ3143

在线出版日期：2008-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：367-371,374