案例名称

事件检测表达式

约束条件

Q1.1

s1-p1, s2-p2*, s3-p3,s4-p4*

无

Q1.2

s1-p1 | (s2-p2*, s3-p3*)

无

Q1.3

s1-p1, (s2-p2*, s3-p3)*

无

Q2.1

s1-p1, s2-p2, s3-p3

$S1.$v > 900

Q2.2

s1-p1, s2-p2*, s3-p3

$S2.$v > 40

Q3.1

s1-p1, s2-p2, s1-p1, s3-p3

无

Q3.2

s1-p1, s2-p2, s1-p4, s3-p3

无