Complex Sequence

A complex sequence is a sequence that holds one or multiple sequences.

When a token is sent to a complex sequence, it is splitted to its initial sequences using a token split function.

When all the final sequences of a complex sequence hold a token, the sequence can be exited through a valid transition. The tokens are then merges using a final token merge function.