transition_name

transition_name ::= method_name | event_name 

This rule is called by

-> cycle
-> refinement
-> synchro