Occurrence net

...

...

...

• Build forward from marked places

• Create place and transition instances as you go

• Never re-converge after choice

Previous slide

Next slide

Back to first slide

View graphic version