event_name

event_name ::= identifier 

[rule list]
This rule is called by

-> process_name -> transition_name