ATokenMerge

TokenMerge (see ATokenMerge) is a Function (see Function). It describes how a transition manages the tokens consumed from the upstream places. Tokens are consumed and merged for every transition that can be fired (see Transition fire conditions) and before the effectors (see Effector) are run.

The user must implement the TokenMerge method. Tokens from the upstream places are in the upstreamPlaceIdTokenMap variable and the method output (IContext) produces a token resulting from the merge.