论文部分内容阅读
随着空间信息的广泛应用，产生了对基于空间关系的复合事件检测需求。本文建立了空间事件模型，在该模型基础上扩展定义了空间事件复合算子及其语义，并证明该定义的复合算子封闭；采用组合着色Petri网构造基于空间关系的复合事件检测模型，充分利用事件公共表达式简化Petri网；采用变迁优先级解决冲突变迁的问题，并提出基于该模型的检测算法；通过实验仿真验证该检测模型是一个简洁、有效的复合事件检测机制。