Notice, that different tokens destined for the same destination cannot be distinguished.
Static dataflow approach allows at most one token on any one arc.
Extending the basic firing rule as follows:
- An enabled node is fired if there is no token on any of its output arcs.
Implementation of the restriction by acknowledge signals (additional tokens ), traveling along additional arcs from consuming to producing nodes.
The firing rule can be changed to its original form:
- A node is fired at the moment when it becomes enabled.
Again: structural hazards are ignored assuming unlimited resources!