State diagrams

[*] becomes a start node (id __start_root) when it is a source and an end node (__end_root) when it is a target.

Example

stateDiagram-v2
  [*] --> Pending
  Pending --> Paid : pay
  Paid --> Shipped : ship
  Shipped --> Delivered : deliver
  Pending --> Cancelled : cancel
  Delivered --> [*]
  Cancelled --> [*]

scenario Delivered
  __start_root -> Pending
  Pending is active
  Pending -> Paid : pay
  Paid is active
  Paid -> Shipped : ship
  Shipped -> Delivered : deliver
  Delivered is done