1 files changed, 27 insertions, 0 deletions
diff --git a/cts/scheduler/dot/3-am-then-bm-both-migrate.dot b/cts/scheduler/dot/3-am-then-bm-both-migrate.dot
new file mode 100644
index 0000000..a80b6cd
--- /dev/null
+++ b/cts/scheduler/dot/3-am-then-bm-both-migrate.dot
@@ -0,0 +1,27 @@
+ digraph "g" {
+"A_migrate_from_0 18node2" -> "A_start_0 18node2" [ style = bold]
+"A_migrate_from_0 18node2" -> "A_stop_0 18node1" [ style = bold]
+"A_migrate_from_0 18node2" -> "B_migrate_to_0 18node2" [ style = bold]
+"A_migrate_from_0 18node2" [ style=bold color="green" fontcolor="black"]
+"A_migrate_to_0 18node1" -> "A_migrate_from_0 18node2" [ style = bold]
+"A_migrate_to_0 18node1" [ style=bold color="green" fontcolor="black"]
+"A_monitor_60000 18node2" [ style=bold color="green" fontcolor="black"]
+"A_start_0 18node2" -> "A_monitor_60000 18node2" [ style = bold]
+"A_start_0 18node2" -> "B_migrate_to_0 18node2" [ style = dashed]
+"A_start_0 18node2" -> "B_start_0 18node1" [ style = bold]
+"A_start_0 18node2" [ style=bold color="green" fontcolor="orange"]
+"A_stop_0 18node1" -> "A_start_0 18node2" [ style = bold]
+"A_stop_0 18node1" [ style=bold color="green" fontcolor="black"]
+"B_migrate_from_0 18node1" -> "B_start_0 18node1" [ style = bold]
+"B_migrate_from_0 18node1" -> "B_stop_0 18node2" [ style = bold]
+"B_migrate_from_0 18node1" [ style=bold color="green" fontcolor="black"]
+"B_migrate_to_0 18node2" -> "B_migrate_from_0 18node1" [ style = bold]
+"B_migrate_to_0 18node2" [ style=bold color="green" fontcolor="black"]
+"B_monitor_60000 18node1" [ style=bold color="green" fontcolor="black"]
+"B_start_0 18node1" -> "B_monitor_60000 18node1" [ style = bold]
+"B_start_0 18node1" [ style=bold color="green" fontcolor="orange"]
+"B_stop_0 18node2" -> "A_migrate_to_0 18node1" [ style = dashed]
+"B_stop_0 18node2" -> "A_stop_0 18node1" [ style = bold]
+"B_stop_0 18node2" -> "B_start_0 18node1" [ style = bold]
+"B_stop_0 18node2" [ style=bold color="green" fontcolor="black"]
+}