digraph "g" {
"CloneResource1_stop_0" -> "CloneResource1_stopped_0" [ style = bold]
"CloneResource1_stop_0" -> "apache:0_stop_0 domu2" [ style = bold]
"CloneResource1_stop_0" -> "apache:1_stop_0 domu1" [ style = bold]
"CloneResource1_stop_0" [ style=bold color="green" fontcolor="orange"]
"CloneResource1_stopped_0" [ style=bold color="green" fontcolor="orange"]
"CloneResource2_running_0" -> "PrimitiveResource1_start_0 domu1" [ style = dashed]
"CloneResource2_running_0" [ style=dashed color="red" fontcolor="orange"]
"CloneResource2_start_0" -> "CloneResource2_running_0" [ style = dashed]
"CloneResource2_start_0" -> "DummyResource:0_start_0 domu2" [ style = dashed]
"CloneResource2_start_0" -> "DummyResource:1_start_0 domu1" [ style = dashed]
"CloneResource2_start_0" [ style=dashed color="red" fontcolor="orange"]
"CloneResource2_stop_0" -> "CloneResource2_stopped_0" [ style = bold]
"CloneResource2_stop_0" -> "DummyResource:0_stop_0 domu2" [ style = bold]
"CloneResource2_stop_0" -> "DummyResource:1_stop_0 domu1" [ style = bold]
"CloneResource2_stop_0" [ style=bold color="green" fontcolor="orange"]
"CloneResource2_stopped_0" -> "CloneResource1_stop_0" [ style = bold]
"CloneResource2_stopped_0" -> "CloneResource2_start_0" [ style = dashed]
"CloneResource2_stopped_0" [ style=bold color="green" fontcolor="orange"]
"DummyResource:0_monitor_10000 domu2" [ style=dashed color="red" fontcolor="black"]
"DummyResource:0_start_0 domu2" -> "CloneResource2_running_0" [ style = dashed]
"DummyResource:0_start_0 domu2" -> "DummyResource:0_monitor_10000 domu2" [ style = dashed]
"DummyResource:0_start_0 domu2" [ style=dashed color="red" fontcolor="black"]
"DummyResource:0_stop_0 domu2" -> "CloneResource2_stopped_0" [ style = bold]
"DummyResource:0_stop_0 domu2" -> "DummyResource:0_start_0 domu2" [ style = dashed]
"DummyResource:0_stop_0 domu2" [ style=bold color="green" fontcolor="black"]
"DummyResource:1_monitor_10000 domu1" [ style=dashed color="red" fontcolor="black"]
"DummyResource:1_start_0 domu1" -> "CloneResource2_running_0" [ style = dashed]
"DummyResource:1_start_0 domu1" -> "DummyResource:1_monitor_10000 domu1" [ style = dashed]
"DummyResource:1_start_0 domu1" [ style=dashed color="red" fontcolor="black"]
"DummyResource:1_stop_0 domu1" -> "CloneResource2_stopped_0" [ style = bold]
"DummyResource:1_stop_0 domu1" -> "DummyResource:1_start_0 domu1" [ style = dashed]
"DummyResource:1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
"PrimitiveResource1_monitor_10000 domu1" [ style=dashed color="red" fontcolor="black"]
"PrimitiveResource1_start_0 domu1" -> "PrimitiveResource1_monitor_10000 domu1" [ style = dashed]
"PrimitiveResource1_start_0 domu1" [ style=dashed color="red" fontcolor="black"]
"PrimitiveResource1_stop_0 domu1" -> "CloneResource2_stop_0" [ style = bold]
"PrimitiveResource1_stop_0 domu1" -> "PrimitiveResource1_start_0 domu1" [ style = dashed]
"PrimitiveResource1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
"apache:0_stop_0 domu2" -> "CloneResource1_stopped_0" [ style = bold]
"apache:0_stop_0 domu2" [ style=bold color="green" fontcolor="black"]
"apache:1_stop_0 domu1" -> "CloneResource1_stopped_0" [ style = bold]
"apache:1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
}