Transition --Not Named--
Condition
Send Event
Action
Send Arguments
Send Target
Transition between states
From
start Server Monitor
To
wait for semaphore
