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