计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
2期
367-371,374
,共6页
Petri网%主动数据库%事件-条件-动作%规则集合%系统建模
Petri網%主動數據庫%事件-條件-動作%規則集閤%繫統建模
Petri망%주동수거고%사건-조건-동작%규칙집합%계통건모
讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.
討論瞭利用Petri網作為建模工具對主動數據庫中ECA規則集的建模問題.建立瞭存儲ECA規則狀態的Pelri網子網結構,用此子網可構造齣單奈規則的Petri網結構,再由單條規則的Petri網構造整箇規則集的Petri網模型.結果錶明,用Petri網建模能準確地錶達主動數據庫規則集的語義,併且有利于進一步分析規則集的動態行為特徵.
토론료이용Petri망작위건모공구대주동수거고중ECA규칙집적건모문제.건립료존저ECA규칙상태적Pelri망자망결구,용차자망가구조출단내규칙적Petri망결구,재유단조규칙적Petri망구조정개규칙집적Petri망모형.결과표명,용Petri망건모능준학지표체주동수거고규칙집적어의,병차유리우진일보분석규칙집적동태행위특정.