After defining the alarm event using Backus Normal Form (BNF), it puts forward an event correlation model with Petri net, and using this model designs the alarm event correlation module.

• 在使用巴柯斯范式定义了告警事件的基础上,本文提出了一种基于Petri 网的事件关联模型,并采用该模型完成了告警关联模块的设计。