Modeling Reduction Schemas

GobyBus(S,D)

t1: Getin(B,S)

t2: BuyTickt(B)

t3: Getout(B,D)

In(B)

Hv-Tkt

Hv-Money

At(D)

Previous slide

Next slide

Back to first slide

View graphic version