复合时序事件及其基于Petri网的检测

• 作者: 左万利
• 来源期刊: 系统工程学报
• 学科: 工学
• 关键词: 主动数据库 ECA-规则 复合时序事件 增量式事件检测 Petri网
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 短文
• 页码范围: 262-267
• 页数: 6页
• 分类号: TP311
• 字数: 5413字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5781.2003.03.012

摘要

主动数据库中的规则是由事件驱动的, 事件与时间密切相关, 然而目前的事件描述语言不能表达时间概念. 文章引入了一组一元时序算子, 将传统的事件表达式扩展到时序空间, 并给出了时序事件表达式的时间语义. 为实现对于复合时序事件的增量式检测, 定义了标志取代Petri网(TR Petri net), 它可表示最近发生事件消耗语义, 并在网上计算和传递事件发生时间. 文中给出了相关的数据结构和检测算法. 实验结果表明时序算子可以有效地实现冲突消解, 应用TR Petri网对复合时序事件建模和检测具有描述简洁和速度快的优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	左万利	吉林大学计算机科学与技术学院	88	1273	20.0	31.0