Untyped start events

The state of a token at an untyped start event is immediately advanced to ENTERED. After entry, a token is created for the start event of each event-subprocess within the same scope. Then, The state of the token is advanced to DEPARTED or DONE.

stateDiagram-v2
    state departure <<choice>>
    [*] --> ENTERED
    ENTERED --> departure
    departure --> DEPARTED: [outgoing sequence flow]
    departure --> DONE: [no outgoing sequence flow]
    DEPARTED --> [*]
    DONE --> [*]

Note

Operators are applied and feasibility is checked for the token at the respective (sub)process before the token enters the start event.