digraph "g" { "A_start_0 " -> "B_migrate_to_0 18node2" [ style = dashed] "A_start_0 " -> "B_start_0 18node1" [ style = dashed] "A_start_0 " [ style=dashed color="red" fontcolor="black"] "A_stop_0 18node1" -> "A_start_0 " [ style = dashed] "A_stop_0 18node1" [ style=bold color="green" fontcolor="black"] "B_migrate_from_0 18node1" -> "B_start_0 18node1" [ style = dashed] "B_migrate_from_0 18node1" -> "B_stop_0 18node2" [ style = dashed] "B_migrate_from_0 18node1" [ style=dashed color="red" fontcolor="black"] "B_migrate_to_0 18node2" -> "B_migrate_from_0 18node1" [ style = dashed] "B_migrate_to_0 18node2" [ style=dashed color="red" fontcolor="black"] "B_monitor_60000 18node1" [ style=dashed color="red" fontcolor="black"] "B_start_0 18node1" -> "B_monitor_60000 18node1" [ style = dashed] "B_start_0 18node1" [ style=dashed color="red" fontcolor="black"] "B_stop_0 18node2" -> "A_stop_0 18node1" [ style = bold] "B_stop_0 18node2" -> "B_start_0 18node1" [ style = dashed] "B_stop_0 18node2" [ style=bold color="green" fontcolor="black"] }