Definition
graph LR
place0(("computed"))
place1(("in_push_queue"))
place2(["up_to_date"])
place3(("in_pull_queue"))
place4(("pulled"))
transition0["compute"]
place4-->transition0
transition0-->place0
transition1["push"]
place0-->transition1
transition1-->place2
transition2["push"]
place1-->transition2
transition2-->place2
transition3["pull"]
place3-->transition3
transition3-->place4
transition4["pull"]
place2-->transition4
transition4-->place4
transition5["to_pull_queue"]
place2-->transition5
transition5-->place3
transition6["to_push_queue"]
place0-->transition6
transition6-->place1
click place0 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click place1 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click place2 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click place3 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click place4 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click transition0 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click transition1 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click transition2 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click transition3 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click transition4 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click transition5 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
click transition6 showNodeDetails3782c3c8668e626f97a99fdc2f9b19e3
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |