Definition
graph LR
place0(["Created"])
place1(("Processing"))
place2(("In transit"))
place3(("Delivered"))
place4(("Completed"))
place5(("Canceled"))
transition0["start_processing"]
place0-->transition0
transition0-->place1
transition1["ship_order"]
place1-->transition1
transition1-->place2
transition2["deliver_order"]
place2-->transition2
transition2-->place3
transition3["complete_order"]
place3-->transition3
transition3-->place4
transition4["cancel_order"]
place0-->transition4
transition4-->place5
transition5["cancel_order"]
place1-->transition5
transition5-->place5
transition6["cancel_order"]
place2-->transition6
transition6-->place5
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |