Definition
graph LR
place0(["idle"])
place1(("started"))
place2(("in_intervention"))
place3(("in_break"))
place4(("ended"))
transition0["start_day"]
place0-->transition0
transition0-->place1
transition1["start_intervention"]
place1-->transition1
transition1-->place2
transition2["break_intervention"]
place2-->transition2
transition2-->place3
transition3["interrupted_intervention"]
place3-->transition3
transition3-->place2
transition4["end_intervention"]
place2-->transition4
transition4-->place1
transition5["pause_intervention"]
place2-->transition5
transition5-->place1
transition6["fail_intervention"]
place2-->transition6
transition6-->place1
transition7["resume_intervention"]
place1-->transition7
transition7-->place2
transition8["start_break"]
place1-->transition8
transition8-->place3
transition9["end_break"]
place3-->transition9
transition9-->place1
transition10["end_day"]
place1-->transition10
transition10-->place4
View on mermaid.live
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |