(Leave1; Enter1) ? (? Class1 | p? ? d)

(Leave1; Enter1) ? (? Class1 | p? ? d)

? (Leave1; Enter1) ? (#d <= Max ? #d’ <= Max ? d’ = d ? p? ?d)

Let Alpha Leave1; Enter1

• This is identical to (? Class1 | p? ? d) as required

Alpha

d,d’:P Person

p?: Person

# d <= Max

# d’ <= Max

p?? d

d’ = d

Previous slide

Next slide

Back to first slide

View graphic version