digraph "g" {
"cl_dummy2_running_0" [ style=dashed color="red" fontcolor="orange"]
"cl_dummy2_start_0" -> "cl_dummy2_running_0" [ style = dashed]
"cl_dummy2_start_0" -> "dummy2:0_start_0 alice.demo" [ style = dashed]
"cl_dummy2_start_0" -> "dummy2:1_start_0 bob.demo" [ style = dashed]
"cl_dummy2_start_0" [ style=dashed color="red" fontcolor="orange"]
"dummy2:0_start_0 alice.demo" -> "cl_dummy2_running_0" [ style = dashed]
"dummy2:0_start_0 alice.demo" [ style=dashed color="red" fontcolor="black"]
"dummy2:1_start_0 bob.demo" -> "cl_dummy2_running_0" [ style = dashed]
"dummy2:1_start_0 bob.demo" [ style=dashed color="red" fontcolor="black"]
"ms_stateful_confirmed-post_notify_running_0" [ style=bold color="green" fontcolor="orange"]
"ms_stateful_confirmed-pre_notify_start_0" -> "ms_stateful_post_notify_running_0" [ style = bold]
"ms_stateful_confirmed-pre_notify_start_0" -> "ms_stateful_start_0" [ style = bold]
"ms_stateful_confirmed-pre_notify_start_0" [ style=bold color="green" fontcolor="orange"]
"ms_stateful_post_notify_running_0" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
"ms_stateful_post_notify_running_0" -> "stateful:0_post_notify_start_0 alice.demo" [ style = bold]
"ms_stateful_post_notify_running_0" -> "stateful:1_post_notify_start_0 bob.demo" [ style = bold]
"ms_stateful_post_notify_running_0" [ style=bold color="green" fontcolor="orange"]
"ms_stateful_pre_notify_start_0" -> "ms_stateful_confirmed-pre_notify_start_0" [ style = bold]
"ms_stateful_pre_notify_start_0" [ style=bold color="green" fontcolor="orange"]
"ms_stateful_running_0" -> "ms_stateful_post_notify_running_0" [ style = bold]
"ms_stateful_running_0" [ style=bold color="green" fontcolor="orange"]
"ms_stateful_start_0" -> "ms_stateful_running_0" [ style = bold]
"ms_stateful_start_0" -> "stateful:0_start_0 alice.demo" [ style = bold]
"ms_stateful_start_0" -> "stateful:1_start_0 bob.demo" [ style = bold]
"ms_stateful_start_0" [ style=bold color="green" fontcolor="orange"]
"service1_delete_0 alice.demo" [ style=bold color="green" fontcolor="black"]
"service1_delete_0 bob.demo" [ style=bold color="green" fontcolor="black"]
"service2:0_delete_0 alice.demo" [ style=bold color="green" fontcolor="black"]
"service2:0_delete_0 bob.demo" [ style=bold color="green" fontcolor="black"]
"service2:1_delete_0 bob.demo" [ style=bold color="green" fontcolor="black"]
"stateful:0_post_notify_start_0 alice.demo" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
"stateful:0_post_notify_start_0 alice.demo" [ style=bold color="green" fontcolor="black"]
"stateful:0_start_0 alice.demo" -> "ms_stateful_running_0" [ style = bold]
"stateful:0_start_0 alice.demo" [ style=bold color="green" fontcolor="black"]
"stateful:1_post_notify_start_0 bob.demo" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
"stateful:1_post_notify_start_0 bob.demo" [ style=bold color="green" fontcolor="black"]
"stateful:1_start_0 bob.demo" -> "ms_stateful_running_0" [ style = bold]
"stateful:1_start_0 bob.demo" [ style=bold color="green" fontcolor="black"]
}