A dataflow graph is represented as a collection of activity templates, each containing:
- the opcode of the represented instruction,
- operand slots for holding operand values,
- and destination address fields, referring to the operand slots in sub-sequent activity templates that need to receive the result value.
Each token consists only of a value and a destination address.