|
BPMN-OS
BPMN for optimization and simulation
|
The state of a token at an throwing event is immediately advanced from ARRIVED, to ENTERED. Then, the token state is changed to DEPARTED or DONE.
stateDiagram-v2
state departure <<choice>>
[*] --> ARRIVED
ARRIVED --> ENTERED
ENTERED --> departure
departure --> DEPARTED: [outgoing sequence flow]
departure --> DONE: [no outgoing sequence flow]
DEPARTED --> [*]
DONE --> [*]