Each loop iteration or subprogram invocation should be able to execute in parallel as a separate instance of a reentrant subgraph.
The replication is only conceptual.
Each token has a tag:
- address of the instruction for which the particular data value is destined
- and context information
Each arc can be viewed as a bag that may contain an arbitrary number of tokens with different tags.
The enabling and firing rule is now:
A node is enabled and fired as soon as tokens with identical tags are present on all input arcs.
Structural hazards ignored!