Definition
graph LR
place0(["plan"])
style place0 fill:#cf645e
place1(("do"))
style place1 fill:#abc66a
place2(("check"))
style place2 fill:#9378b4
place3(("act"))
style place3 fill:#5d94c9
transition0["to_do"]
place0-->transition0
transition0-->place1
transition1["to_redo"]
place2-->transition1
transition1-->place1
transition2["to_check"]
place1-->transition2
transition2-->place2
transition3["to_act"]
place2-->transition3
transition3-->place3
transition4["to_plan"]
place3-->transition4
transition4-->place0
click place0 showNodeDetails0b43d5637fc8bb2679d697298c835119
click place1 showNodeDetails0b43d5637fc8bb2679d697298c835119
click place2 showNodeDetails0b43d5637fc8bb2679d697298c835119
click place3 showNodeDetails0b43d5637fc8bb2679d697298c835119
click transition0 showNodeDetails0b43d5637fc8bb2679d697298c835119
click transition1 showNodeDetails0b43d5637fc8bb2679d697298c835119
click transition2 showNodeDetails0b43d5637fc8bb2679d697298c835119
click transition3 showNodeDetails0b43d5637fc8bb2679d697298c835119
click transition4 showNodeDetails0b43d5637fc8bb2679d697298c835119
View on mermaid.live
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |