共 1 条
复合时序事件及其基于Petri网的检测
被引：9
作者：
左万利
机构：
[1] 吉林大学计算机科学与技术学院长春
来源：
关键词：
主动数据库;
ECA规则;
复合时序事件;
增量式事件检测;
Petri网;
D O I：
暂无
中图分类号：
TP311.13 [];
学科分类号：
1201 ;
摘要：
主动数据库中的规则是由事件驱动的,事件与时间密切相关,然而目前的事件描述语言不能表达时间概念.文章引入了一组一元时序算子,将传统的事件表达式扩展到时序空间,并给出了时序事件表达式的时间语义.为实现对于复合时序事件的增量式检测,定义了标志取代Petri网(TRPetrinet),它可表示最近发生事件消耗语义,并在网上计算和传递事件发生时间.文中给出了相关的数据结构和检测算法.实验结果表明时序算子可以有效地实现冲突消解,应用TRPetri网对复合时序事件建模和检测具有描述简洁和速度快的优点.
引用
收藏
页码：262 / 267
页数：6
相关论文