Transition --Not Named--
Condition
Send Event
Action
Send Arguments
Send Target
Transition between states
From
INIT Prologue
To
--Not Named--
