Fork and Join
If a model involves a fork and join structure, need to decide what a join means
- can join with arbitrary tokens?
- must join with a sub-part of same parent?
- must nest fork/join?
Do we need a separate exec transition?
- What happens when orphan ends?