Extensions
Motivated by need for dynamic configuration
- Stronger notion of token identity
- origin preserved through transitions
- associated control
- Some special transitions can have state - single variable get or set
- Can define bindings between transitions
- directed, binary
- associate state, but do not carry tokens