1 files changed, 28 insertions, 0 deletions
diff --git a/cts/scheduler/dot/order-sets.dot b/cts/scheduler/dot/order-sets.dot
new file mode 100644
index 0000000..ace242e
--- /dev/null
+++ b/cts/scheduler/dot/order-sets.dot
@@ -0,0 +1,28 @@
+ digraph "g" {
+"world1_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world1_start_0 ubuntu_1" -> "world1_monitor_10000 ubuntu_1" [ style = bold]
+"world1_start_0 ubuntu_1" -> "world2_start_0 ubuntu_1" [ style = bold]
+"world1_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world1_stop_0 ubuntu_2" -> "world1_start_0 ubuntu_1" [ style = bold]
+"world1_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
+"world2_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world2_start_0 ubuntu_1" -> "world2_monitor_10000 ubuntu_1" [ style = bold]
+"world2_start_0 ubuntu_1" -> "world3_start_0 ubuntu_1" [ style = bold]
+"world2_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world2_stop_0 ubuntu_2" -> "world1_stop_0 ubuntu_2" [ style = bold]
+"world2_stop_0 ubuntu_2" -> "world2_start_0 ubuntu_1" [ style = bold]
+"world2_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
+"world3_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world3_start_0 ubuntu_1" -> "world3_monitor_10000 ubuntu_1" [ style = bold]
+"world3_start_0 ubuntu_1" -> "world4_start_0 ubuntu_1" [ style = bold]
+"world3_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world3_stop_0 ubuntu_2" -> "world2_stop_0 ubuntu_2" [ style = bold]
+"world3_stop_0 ubuntu_2" -> "world3_start_0 ubuntu_1" [ style = bold]
+"world3_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
+"world4_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world4_start_0 ubuntu_1" -> "world4_monitor_10000 ubuntu_1" [ style = bold]
+"world4_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
+"world4_stop_0 ubuntu_2" -> "world3_stop_0 ubuntu_2" [ style = bold]
+"world4_stop_0 ubuntu_2" -> "world4_start_0 ubuntu_1" [ style = bold]
+"world4_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
+}