∅ = x
y2 = ∅
y2 = ∅
y3 = ∅
y3 = ∅
y3 = ∅
∅ = z1
z1 = ∅
∅ = z2
z2 = ∅
∅ = z3
x = ∅
z3 = ∅
∅ = w
∅ = w
∅ = w
w = ∅
x = y1
x = y2
x = y3
y1 = ∅
y1 = ∅
y1 = ∅
y2 = ∅
Trigger: time>2499
Delay: 0
Assignments:
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.