Navigation of tokens with two capacity resources
When tokens are guided using a single capacity resource, the capacity of a resource is compared to a fixed value to decide whether the token should be guided along a specific path. Besides this option, the current capacities of two resources can be compared. The token is then forwarded in accordance with the result of this comparison. The branch must be followed immediately by an event in each path. Each event must be linked to the capacity resource via an is compared to connection.
The Operand position attribute of both connections must have been specified and must have different values. The Comparison operator attribute must have been specified for each event. A specific event after a branch is enabled if the result of the current capacity comparison of the two resources is True, taking into account the comparison operator. The value on the left of the operator is taken from the resource with the lower Operand position attribute value, the value on the right is taken from the resource with the higher value for this attribute. If the conditions have not been entirely specified, the token waits at the rule.
Forwarding based on resources takes precedence over forwarding based on ERM attributes or probabilities.