1 files changed, 27 insertions, 0 deletions
diff --git a/images/transaction-refresh-states.dot b/images/transaction-refresh-states.dot
new file mode 100644
index 00000000..4b67c88e
--- /dev/null
+++ b/images/transaction-refresh-states.dot
@@ -0,0 +1,27 @@
+digraph G {
+
+  initial[label="", shape="circle", xlabel="refresh"];
+  pending[label="refresh"];
+  //aborting[label="refresh", style=dashed];
+  //aborted[style=dashed];
+  done[label="done", shape="box"];
+
+  subgraph {
+    rank=same;
+    pending;
+    // aborting;
+  }
+  
+  subgraph {
+    rank=same;
+    done;
+    //aborted;
+  }
+
+  initial->pending;
+  
+  //pending -> aborting [color=blue, style=dashed, label="abort"];
+  //aborting->aborted;
+
+  pending->done [color=green];
+}