EDN China > 产品新闻 > 微处理器与DSP > 多媒体处理器 > 正文
? 2016博客大赛-不限主题,寻找电子导师,大奖升级??

(多图) 基于组合着色Petri网的空间复合事件检测机制

EDN China?? 2006年02月11日 ?? 收藏0

??????方向和距离算子有参考事件或者区域,因此这些算子是不满足交换律的。从定义来看,这些算子在时间上是以参考事件的出现为检测起始事件的。   

?????? 2 基于组和着色Petri网的空间复合事件检测模型


?????? 2.1检测模型

?????? 传统的Petri网对于公共事件表达式需要构造冗余的Petri网,而且无法对位置信息进行检测,需要对之改造和扩展。本文提出基于组合着色Petri网的复合事件检测模型,既能够利用复合事件的公共表达式,也可以在存储较少事件历史的情况下,保持积聚算子。   

?????? 定义(1)——复合事件检测组件Petri网CPN(Component Petri Net)   

?????? CPN的静态结构是一个八元组,CPN=(P,PI,PO,T,A, C,E,W

)相关含义如下:   

?????? P是库所的有限集合。将每个原子事件对应到组件Petri网的一个输入库所,复合事件对应到组件Petri网的一个输出库所,则定义PIP为有限输入库所集合,定义PIP为有限输出库所集合。T是变迁的有限集合。AP×T∪T×P是连接变迁和库所的弧的有限集合。C是标记类型(即颜色)的有限集合。E为弧函数。将每条弧映射到一个表达式、空间算子或者是缺省的单位权值。Eik表示由Pi到Tk或者Ti到Pk的弧函数。其中权值函数只作用在P×T,空间算子只作用在T×P。W: T→N变迁权值函数,将每个变迁映射到一个自然数表示的权值。   

?????? 定义(2)——组件Petri网的联接变迁、联接弧及标记向量   

?????? 联接变迁(Connection Transition)集合TOI为联接输出库所和输入库所的变迁,联接弧(Connection Arc)集合AOI定义为AOIPO×TOI∪TOI×PI,同时定义PTI为联接输入库所集合,PTO为联接输出库所集合。令Pi∈P,mark(Pi)=(t,s)表示Pi中当前标记的值,其分量分别标记为mark(Pi).t和mark(Pi).s。当mark(Pi).t=0时表示Pi中当前无标记。令Tk∈TOI∪T, °Tk表示Tk所有输入库所的集合, Tk°表示Tk所有输出库所的集合。   

?????? 定义(3)——组合着色Petri网CCPN(Compositional Colored Petri Net)   

?????? CCPN的静态结构是CCPN=(CPN,TOI,AOI)。   

?????? 定义(4)——变迁的授权   

?????? 称变迁Tk是授权的,如果对i,Pi∈°Tk, mark(Pi).t≠0。授权变迁可被触发,触发时同时执行如下三个步骤:(1)如果Pi 中标记数与Ai,k权值相等,mark(Pi)=0, 对i,Pi∈°Tk,如果Pi中标记数小于权值,则将标记数累加并且库所只保留最近的标记信息;(2)如果Ak,i上未定义空间谓词并且Pi中标记数与Ai,k权值相等,则mark(Pj)=Ekj(MAX{Eik(mark(Pi))|对i,Pi∈°Tk}), 对j,Pj∈Tk°, 其中MAX{(a1,b1),(a2,b2),…,(an,bn)=a,b},1≤k≤n,1≤i≤n,ai≤ak;(3)如果Ai,k上定义的SP为真,则mark(Pj)=Ekj(MAX{Eik(mark(Pi))|对i,Pi∈°Tk}), 对j,Pj∈Tk°, 其中MAX{(a1,b1),(a2,b2),…,(an,bn)=a,b},1≤k≤n,1≤i≤n, ai≤ak;如果Ak,i上定义的SP为假,则mark(Pi)=0, 对i, Pi∈°Tk。   


?? ?? ??


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友
?? ??

Petri网? 事件? 检测?

相关文章

我来评论
美国的游客
美国的游客 ??? (您将以游客身份发表,请登录 | 注册)
?
有问题请反馈