1 digraph "g" { 2"dollies:0_start_0 ssgtest1b" -> "dolly_running_0" [ style = bold] 3"dollies:0_start_0 ssgtest1b" [ style=bold color="green" fontcolor="black" ] 4"dollies:0_stop_0 ssgtest1a" -> "dollies:0_start_0 ssgtest1b" [ style = bold] 5"dollies:0_stop_0 ssgtest1a" -> "dolly_stopped_0" [ style = bold] 6"dollies:0_stop_0 ssgtest1a" [ style=bold color="green" fontcolor="black" ] 7"dolly_running_0" [ style=bold color="green" fontcolor="orange" ] 8"dolly_start_0" -> "dollies:0_start_0 ssgtest1b" [ style = bold] 9"dolly_start_0" -> "dolly_running_0" [ style = bold] 10"dolly_start_0" [ style=bold color="green" fontcolor="orange" ] 11"dolly_stop_0" -> "dollies:0_stop_0 ssgtest1a" [ style = bold] 12"dolly_stop_0" -> "dolly_stopped_0" [ style = bold] 13"dolly_stop_0" [ style=bold color="green" fontcolor="orange" ] 14"dolly_stopped_0" -> "dolly_start_0" [ style = bold] 15"dolly_stopped_0" [ style=bold color="green" fontcolor="orange" ] 16} 17