| 复合时序事件及其基于Petri网的检测 |
| |
| 引用本文： | 左万利. 复合时序事件及其基于Petri网的检测[J]. 系统工程学报, 2003, 18(3): 262-267 |
| |
| 作者姓名： | 左万利 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012 |
| |
| 基金项目： | 国家自然科学基金资助项目(69673015)，吉林省科技发展计划资助项目(20000111). |
| |
| 摘 要： | 主动数据库中的规则是由事件驱动的，事件与时间密切相关，然而目前的事件描述语言不能表达时间概念.文章引入了一组一元时序算子，将传统的事件表达式扩展到时序空间，并给出了时序事件表达式的时间语义。为实现对于复合时序事件的增量式检测，定义了标志取代Petri网(TR Petri net)，它可表示最近发生事件消耗语义，并在网上计算和传递事件发生时间、文中给出了相关的数据结构和检测算法.实验结果表明时序算子可以有效地实现冲突消解，应用TR Petri网对复合时序事件建模和检测具有描述简洁和速度快的优点．
|
| 关 键 词： | 主动数据库 复合时序事件 Petri网 增量式事件检测 主动规则 数据完整性 |
| 文章编号： | 1000-5781(2003)03-0262-06 |
| 修稿时间： | 2001-05-15 |
Composite temporal event and its detection based on Petri net |
| |
| Abstract: | |
| |
| Keywords: | active database ECA rule composite temporal event incremental event detection Petri net |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
