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
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |